7988 search results - page 291 / 1598 » A Useful Undecidable Theory |
175
click to vote
ARGMAS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In this paper, we propose a new strategic and tactic reasoning for agent communication. This reasoning framework is specified using argumentation theory combined to a rel...
166
click to vote
DIAGRAMS
2006
Springer
15 years 9 months ago
2006
Springer
In a study of crew interaction with the automatic flight control system of the Boeing 757/767 aircraft, we observed 60 flights and recorded every change in the aircraft control mo...
143
click to vote
AAAI
1998
15 years 6 months ago
1998
Software agents "living" and acting in a real world software environment, such as an operating system, a network, or a database system, can carry out many tasks for huma...
147
click to vote
PAMI
2007
15 years 4 months ago
2007
—Conventional verification systems, such as those controlling access to a secure room, do not usually require the user to reauthenticate himself for continued access to the prote...
170
click to vote
ISBI
2007
IEEE
15 years 11 months ago
2007
IEEE
According to the recent theory of compressed sensing, accurate reconstruction is possible even from data samples dramatically smaller than Nyquist sampling limit as long as the un...