11436 search results - page 264 / 2288 » Modeling Real Reasoning |
122
Voted
COORDINATION
2010
Springer
15 years 7 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
169
Voted
ECCV
2008
Springer
15 years 5 months ago
2008
Springer
We derive a probabilistic framework for robust, real-time, visual tracking of previously unseen objects from a moving camera. The tracking problem is handled using a bag-of-pixels ...
125
Voted
JUCS
2008
15 years 3 months ago
2008
: The desideratum of semantic interoperability has been intensively discussed in medical informatics circles in recent years. Originally, experts assumed that this issue could be s...
111
Voted
TOG
2002
15 years 3 months ago
2002
In this paper we describe how to simulate geometrically complex, interactive, physically-based, volumetric, dynamic deformation models with negligible main CPU costs. This is achi...
140
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. This paper presents verified quantifier elimination procedures for dense linear orders (DLO), for real and for integer linear arithmetic. The DLO procedures are new. All ...