4457 search results - page 547 / 892 » Tests of Machine Intelligence |
157
click to vote
TPHOL
2006
IEEE
16 years 23 days ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
191
click to vote
ACOM
2006
Springer
16 years 22 days ago
2006
Springer
Communication in multi-agent systems (MASs) is usually governed by agent communication languages (ACLs) and communication protocols carrying a clear cut semantics. With an increasi...
167
click to vote
IUI
2006
ACM
16 years 21 days ago
2006
ACM
Due to size restrictions, mobile phone user interfaces are often difficult to use[8]. In this short paper, we investigated inducing shortcuts to replace the sequence of actions re...
160
click to vote
TPHOL
2005
IEEE
16 years 10 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
153
click to vote
AOSE
2005
Springer
16 years 9 days ago
2005
Springer
Interactions between agents are traditionally specified as interaction protocols using notations such as Petri nets, AUML, or finite state machines. These protocols are a poor ...