1224 search results - page 181 / 245 » Theory decision by decomposition |
ECAL
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The question of conceptual representation has received considerable attention in philosophy, neuroscience and embodied evolved agents. Numerous theories on the interpreta...
114
click to vote
DEON
2010
Springer
15 years 5 months ago
2010
Springer
Compliance is often achieved ‘by design’ through a coherent system of controls consisting of information systems and procedures . This system-based control requires a new appro...
100
Voted
STOC
2000
ACM
15 years 5 months ago
2000
ACM
We consider the design of self-testers for quantum gates. A self-tester for the gates F 1, . . . , F m is a procedure that, given any gates G1, . . . , Gm, decides with high probab...
95
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
The ability to coordinate effectively is critical for agents to accomplish their goals in a multi-agent system. A number of researchers have modeled the coordination problem for m...
107
Voted
CAV
2006
Springer
15 years 4 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...