1636 search results - page 29 / 328 » Reasoning About Quantum Systems |
154
Voted
LOGCOM
1998
15 years 1 months ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
145
click to vote
COMPSAC
2010
IEEE
14 years 12 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
103
Voted
AAAI
2007
15 years 4 months ago
2007
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...
104
Voted
ENTCS
2007
15 years 1 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
115
click to vote
GLVLSI
1999
IEEE
15 years 6 months ago
1999
IEEE
Despite the seemingly endless upwards spiral of modern VLSI technology, many experts are predicting a hard wall for CMOS in about a decade. Given this, researchers continue to loo...