1567 search results - page 192 / 314 » A Mechanized Model of the Theory of Objects |
110
click to vote
CORR
2010
Springer
15 years 8 days ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
102
click to vote
GROUP
2003
ACM
15 years 7 months ago
2003
ACM
In order to support co-located collaboration, many researchers are now investigating how to effectively augment tabletops with electronic displays. As far back as 1988, orientatio...
134
click to vote
GIS
2010
ACM
14 years 11 months ago
2010
ACM
Research on Moving Object Databases (MOD) has resulted in sophisticated query mechanisms for moving objects and regions. Wireless Sensor Networks (WSN) support a wide range of app...
130
click to vote
ACL
1992
15 years 2 months ago
1992
The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The ...
102
click to vote
ACS
2007
15 years 1 months ago
2007
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...