3379 search results - page 543 / 676 » Combinators for Interaction Nets |
149
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
162
click to vote
MM
1999
ACM
15 years 10 months ago
1999
ACM
—A user’s focus of attention plays an important role in human–computer interaction applications, such as a ubiquitous computing environment and intelligent space, where the u...
138
click to vote
VRST
1999
ACM
15 years 10 months ago
1999
ACM
Inhabited Television takes traditional broadcast television and combines it with multiuser virtual reality, to give new possibilities for interaction and participation in and arou...
155
click to vote
ATAL
1999
Springer
15 years 10 months ago
1999
Springer
Multi-agent system research is concerned with the issues surrounding the performance of collections of interacting agents. A major concern, therefore, is with the design of the dec...
200
click to vote
DSOM
1999
Springer
15 years 10 months ago
1999
Springer
The backup of large data sets is preferably performed automatically outside of regular working hours. In highly structured computer networks, however, faults and exceptions may rel...