11428 search results - page 352 / 2286 » Learning From Crowds |
192
click to vote
HASE
1998
IEEE
15 years 11 months ago
1998
IEEE
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...
179
Voted
SBIA
1998
Springer
15 years 11 months ago
1998
Springer
Multi-agent systems can be viewed as object-oriented systems in which their entities show an autonomous behavior. If objects could acquire such skill in a flexible way, agents coul...
174
click to vote
CISC
2007
Springer
15 years 10 months ago
2007
Springer
Public key encryption with keyword search (PEKS) enables user Alice to send a secret key TW to a server that will enable the server to locate all encrypted messages containing the...
206
click to vote
AI50
2006
15 years 10 months ago
2006
The human brain is the best example of intelligence known, with unsurpassed ability for complex, real-time interaction with a dynamic world. AI researchers trying to imitate its re...
180
click to vote
FLAIRS
2007
15 years 9 months ago
2007
In this paper, we extend Moss and Parikh’s approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively ad...