Results 1 - 10
of
7,534
State Encodings and OBDD-Sizes
, 1996
"... Ordered binary decision diagrams (OBDDs) have proven to be a useful tool in the automatic verification of finite state machines. The link between OBDDs and finite state machines is established by the transition relation whose characteristic function is a Boolean function. In contrast to combinationa ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
to combinational verification the OBDD-size does not only depend on the variable ordering but also on the state encoding of the finite state machine. In the following, we consider counters, an important class of finite state machines. For this class we establish a connection between the state encoding and the OBDD
Space-time codes for high data rate wireless communication: Performance criterion and code construction
- IEEE TRANS. INFORM. THEORY
, 1998
"... We consider the design of channel codes for improving the data rate and/or the reliability of communications over fading channels using multiple transmit antennas. Data is encoded by a channel code and the encoded data is split into n streams that are simultaneously transmitted using n transmit ant ..."
Abstract
-
Cited by 1782 (28 self)
- Add to MetaCart
are provided for 4 and 8 PSK signal sets with data rates of 2 and 3 bits/symbol, demonstrating excellent performance that is within 2–3 dB of the outage capacity for these channels using only 64 state encoders.
using State Encoding Techniques
"... Abstract: In present days, there is a need for ever increasing high performance and low power devices, these devices need to meet performance constraints like speed, area & power. This paper describes the area and speed constraints of a 16 bit processor with the implementation of three state enc ..."
Abstract
- Add to MetaCart
Abstract: In present days, there is a need for ever increasing high performance and low power devices, these devices need to meet performance constraints like speed, area & power. This paper describes the area and speed constraints of a 16 bit processor with the implementation of three state
Functional discovery via a compendium of expression profiles.
- Cell,
, 2000
"... provided that the cellular transcriptional response to frames encode proteins required for sterol metabodisruption of different steps in the same pathway is lism, cell wall function, mitochondrial respiration, or similar, and that there are sufficiently unique transcripprotein synthesis. We also sh ..."
Abstract
-
Cited by 547 (9 self)
- Add to MetaCart
provided that the cellular transcriptional response to frames encode proteins required for sterol metabodisruption of different steps in the same pathway is lism, cell wall function, mitochondrial respiration, or similar, and that there are sufficiently unique transcripprotein synthesis. We also
Segmentation of brain MR images through a hidden Markov random field model and the expectation-maximization algorithm
- IEEE TRANSACTIONS ON MEDICAL. IMAGING
, 2001
"... The finite mixture (FM) model is the most commonly used model for statistical segmentation of brain magnetic resonance (MR) images because of its simple mathematical form and the piecewise constant nature of ideal brain MR images. However, being a histogram-based model, the FM has an intrinsic limi ..."
Abstract
-
Cited by 639 (15 self)
- Add to MetaCart
-based methods produce unreliable results. In this paper, we propose a novel hidden Markov random field (HMRF) model, which is a stochastic process generated by a MRF whose state sequence cannot be observed directly but which can be indirectly estimated through observations. Mathematically, it can be shown
3. State encoding
"... Synthesizing circuits from finite state machines FSM = specification of the behavior of a circuit (the WHAT) Circuit = implementation (the HOW) Logic synthesis: derive the structure of a circuit (netlist) from its behavioral specification ideally fully automatically, efficiently, and optimally. This ..."
Abstract
- Add to MetaCart
Synthesizing circuits from finite state machines FSM = specification of the behavior of a circuit (the WHAT) Circuit = implementation (the HOW) Logic synthesis: derive the structure of a circuit (netlist) from its behavioral specification ideally fully automatically, efficiently, and optimally
State Encoding of Large Asynchronous Controllers
- In Proc. DAC’06
, 2006
"... A novel method to solve the state encoding problem in Signal Transition Graphs is presented. It is based on the structural theory of Petri nets and can be applied to large specifications with hundreds of signals. This new method opens the door to incorporate logic synthesis in the design flow of lar ..."
Abstract
-
Cited by 6 (0 self)
- Add to MetaCart
A novel method to solve the state encoding problem in Signal Transition Graphs is presented. It is based on the structural theory of Petri nets and can be applied to large specifications with hundreds of signals. This new method opens the door to incorporate logic synthesis in the design flow
The DLV System for Knowledge Representation and Reasoning
- ACM Transactions on Computational Logic
, 2002
"... Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge representation and reasoning, which is very expressive in a precise mathematical sense: it allows to express every property of finite structures that is decidable in the complexity class ΣP 2 (NPNP). Thus, under widely believ ..."
Abstract
-
Cited by 456 (102 self)
- Add to MetaCart
believed assumptions, DLP is strictly more expressive than normal (disjunction-free) logic programming, whose expressiveness is limited to properties decidable in NP. Importantly, apart from enlarging the class of applications which can be encoded in the language, disjunction often allows for representing
Planning as heuristic search,
- 5 – 33, ISSN
, 2001
"... Abstract In the AIPS98 Planning Contest, the HSP planner showed that heuristic search planners can be competitive with state-of-the-art Graphplan and SAT planners. Heuristic search planners like HSP transform planning problems into problems of heuristic search by automatically extracting heuristics ..."
Abstract
-
Cited by 421 (33 self)
- Add to MetaCart
heuristics from Strips encodings. They differ from specialized problem solvers such as those developed for the 24-Puzzle and Rubik's Cube in that they use a general declarative language for stating problems and a general mechanism for extracting heuristics from these representations. In this paper, we
Reliable Video Communication over Lossy Packet Networks using Multiple State Encoding and Path Diversity
- Visual Communications and Image Processing (VCIP
, 2001
"... Video communication over lossy packet networks suchastheInternet is hampered by limited bandwidth and packet loss. This paper presents a system for providing reliable video communication over these networks, where the system is composed of two subsystems: (1) multiple state video encoder/decoder and ..."
Abstract
-
Cited by 185 (15 self)
- Add to MetaCart
Video communication over lossy packet networks suchastheInternet is hampered by limited bandwidth and packet loss. This paper presents a system for providing reliable video communication over these networks, where the system is composed of two subsystems: (1) multiple state video encoder
Results 1 - 10
of
7,534