2067 search results - page 322 / 414 » Logics of propositional control |
150
click to vote
VLSID
2003
IEEE
16 years 6 months ago
2003
IEEE
This paper combines an adaptive supply-voltage scheme with self-timed CMOS digital design, to achieve low power performance. The supply-voltage automatically tracks the input data...
159
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
FantasyA is a role-playing game where emotions are part of the game logic. SenToy is a tangible interface device [2], used to influence emotional behaviour in FantasyA. Players in...
226
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
146
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
— This paper looks at designing circuit elements that will be constructed with nanoscale magnets within the Quantum-dot Cellular Automata (QCA) computational paradigm. In magneti...
162
click to vote
LATA
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...