• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 7,534
Next 10 →

State Encodings and OBDD-Sizes

by Thorsten Theobald, Christoph Meinel , 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

by Vahid Tarokh, Nambi Seshadri, A. R. Calderbank - 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

by Madhavi Anupoju, M. Sunil Prakash
"... 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.

by Timothy R Hughes , Matthew J Marton , Allan R Jones , Christopher J Roberts , Roland Stoughton , Christopher D Armour , Holly A Bennett , Ernest Coffey , Hongyue Dai , Ross-Macdonald , Yudong D He , Matthew J Kidd , Amy M King , Michael R Meyer , David Slade , Pek Y Lum , Sergey B Stepaniants , Daniel D Shoemaker , Julian Simon , Martin Bard - 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

by Yongyue Zhang, Michael Brady, Stephen Smith - 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

by Jaijeet Roychowdhury, Stavros Tripakis, E. A. Lee, J. Roydhowdhury, S. A. Seshia, S. Tripakis
"... 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

by Josep Carmona - 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

by Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello - 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,

by Blai Bonet , Héctor Geffner - 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

by John Apostolopoulos - 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
Next 10 →
Results 1 - 10 of 7,534
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University