1458 search results - page 126 / 292 » The sequentially realizable functionals |
162
Voted
JAR
2008
15 years 3 months ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...
117
click to vote
MJ
2008
15 years 3 months ago
2008
Abstract - The basic building blocks for Resonant Tunnelling Diode (RTD) logic circuits are Threshold Gates (TGs) instead of the conventional Boolean gates (AND, OR, NAND, NOR) due...
145
click to vote
KES
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We have been developing a system AirTransNote, a computermediated learning system that employs digital pen to realize papercentric augmented classroom. Although the appro...
116
Voted
JACIII
2007
15 years 3 months ago
2007
In multi-robot system, cooperation is needed to execute tasks efficiently. The purpose of this study is to realize cooperation among multiple robots using interactive communicatio...
108
Voted
CONCURRENCY
2004
15 years 3 months ago
2004
Distributed simulation applications often rely on middleware to provide services to support their execution over distributed computing environments. Such middleware spans many lev...