4902 search results - page 817 / 981 » Structures, Semantics and Statistics |
150
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
154
click to vote
KCAP
2003
ACM
15 years 9 months ago
2003
ACM
Our research aims at interactive document viewers that can select and highlight relevant text passages on demand. Another related objective is the generation of topic-specific su...
174
click to vote
ZUM
1997
Springer
15 years 8 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
155
click to vote
CVPR
2009
IEEE
15 years 8 months ago
2009
IEEE
The explosion of image data on the Internet has the potential to foster more sophisticated and robust models and algorithms to index, retrieve, organize and interact with images a...
134
click to vote
IFIPTCS
2000
15 years 8 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...