4352 search results - page 67 / 871 » A Representation Theorem and Applications |
CORR
2010
Springer
15 years 24 days ago
2010
Springer
Protocol sequences are used for channel access in the collision channel without feedback. Each user accesses the channel according to a deterministic zero-one pattern, called the p...
118
click to vote
ENTCS
2007
15 years 20 days ago
2007
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...
75
Voted
STACS
2010
Springer
15 years 7 months ago
2010
Springer
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj´ıˇcek and P...
ACMSE
2006
ACM
15 years 6 months ago
2006
ACM
Classic results in the theory of regular languages show that the problem of converting an NFA (nondeterministic finite automaton) into a minimal equivalent NFA is NP-hard, even f...
101
Voted
ISCAS
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper presents an Integrated Framework of Design Optimization and Space Minimization (IDOM) for generating the minimum number of functional units with schedule length and mem...