2067 search results - page 384 / 414 » Logics of propositional control |
154
click to vote
ASAP
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--This paper proposes an FPGA-based applicationspecific elliptic curve processor over a prime field. This research targets applications for which compactness is more import...
127
click to vote
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
149
click to vote
IJMHCI
2011
14 years 8 months ago
2011
We present a novel framework for easy creation of interactive, platform-independent voice-services with an animated 3D talking-head interface, on mobile phones. The framework supp...
200
click to vote
GIS
2007
ACM
16 years 2 months ago
2007
ACM
We have developed Environmental Scenario Search Engine (ESSE) for parallel data mining of a set of conditions inside distributed, very large databases from multiple environmental ...
215
click to vote
POPL
2004
ACM
16 years 1 months ago
2004
ACM
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...