29046 search results - page 412 / 5810 » Computable Models |
142
Voted
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Sensors are often indicative of events of interest, or events which a system should be aware of and should react to. In particular, such indications may reflect unsteadiness or in...
144
Voted
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
123
Voted
HT
2004
ACM
15 years 10 months ago
2004
ACM
We describe the extension to our previous work on a Web-based peer-to-peer open hypermedia system, the DDLS. We enrich the peer model by introducing query history, and propose the...
139
Voted
WETICE
2003
IEEE
15 years 10 months ago
2003
IEEE
Recent advances in networking technology have increased the potential for dynamic enterprise collaborations between an open set of entities on a global scale. The security of thes...
145
Voted
CONTEXT
2003
Springer
15 years 10 months ago
2003
Springer
We describe a software development approach for vision that enhances robustness by making novel use of context. Conventional approaches to most image understanding problems suffe...