2293 search results - page 310 / 459 » Temporal Logic in Information Systems |
223
click to vote
MM
1993
ACM
15 years 10 months ago
1993
ACM
Abstract–Video-on-demand represents a key demonstrative application for enabling multimedia technology in communication, database, and interface research. This application requir...
150
click to vote
DSVIS
1995
Springer
15 years 10 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
201
click to vote
ACMDIS
2008
ACM
15 years 8 months ago
2008
ACM
Mobile technologies are deployed into diverse social, cultural, political and geographic settings, and incorporated into diverse forms of personal and collective mobility. We pres...
173
click to vote
HAIS
2010
Springer
15 years 8 months ago
2010
Springer
Spatial relations are essential for understanding the image configuration and modeling common sense knowledge. In most of existing methods, topological, directional and distance s...
171
click to vote
WOA
2007
15 years 7 months ago
2007
Abstract— Situated agents engaged in open systems continually face with external events requiring adequate services and behavioral responses. In these conditions agents should be...