386 search results - page 51 / 78 » A Consistent Semantics of Self-adjusting Computation |
107
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
135
click to vote
MVA
2006
15 years 1 months ago
2006
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
101
click to vote
JACM
2007
15 years 1 months ago
2007
onal Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands J V Tucker3 Department of Com...
129
Voted
JCISE
2002
15 years 1 months ago
2002
Online resources of engineering design information are a critical resource for practicing engineers. These online resources often contain references and content associated with te...
127
Voted
ICIP
2005
IEEE
16 years 3 months ago
2005
IEEE
This paper addresses the problem of improving the quality performance of synthetic video sequences by means of standard frame? based coders. The proposed technique can exploit bot...