2089 search results - page 92 / 418 » Finding Environment Guarantees |
145
click to vote
IWCMC
2010
ACM
15 years 5 months ago
2010
ACM
In a pervasive computing environment, the devices are embedded in the physical world, providing services and interconnected by a communication network. Composition of these servic...
158
click to vote
NETWORK
2008
15 years 3 months ago
2008
Consider a scenario where Jane is at an airport. She wants to find a restaurant with healthy food and short waiting time on the way to her terminal. The airport can provide such s...
130
click to vote
GRID
2008
Springer
15 years 3 months ago
2008
Springer
The existence of good probabilistic models for the job arrival process and the delay components introduced at different stages of job processing in a Grid environment is important ...
114
click to vote
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
This paper addresses the problem of robust optimal multi-view triangulation. We propose an abstract framework, as well as a practical algorithm, which finds the best 3D reconstruc...
105
click to vote
CADE
2001
Springer
16 years 4 months ago
2001
Springer
Abstract. This paper presents a technique for automated theorem proving with free variable tableaux that does not require backtracking. Most existing automated proof procedures usi...