4211 search results - page 490 / 843 » A formal approach to MASQ |
175
click to vote
HRI
2010
ACM
16 years 3 days ago
2010
ACM
—Alan Turing proposed a test for the intelligence of machines in 1950 [1]. Despite great efforts, no computer has passed this test so far. Each year, chat bots compete for the Lo...
159
click to vote
MTV
2003
IEEE
16 years 2 days ago
2003
IEEE
In recent years backtrack search SAT solvers have been the subject of dramatic improvements. These improvements allowed SAT solvers to successfully replace BDDs in many areas of f...
178
click to vote
SAC
2003
ACM
16 years 2 days ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
196
click to vote
SAC
2003
ACM
16 years 2 days ago
2003
ACM
Based on the limitations raised by existing approaches in the context of the Semantic Web, we propose a formalism, Web Sources Global Ontology (WebSOGO), a data meta-model for the...
173
click to vote
SIGSOFT
2003
ACM
16 years 1 days ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...