2004 search results - page 177 / 401 » Comparison of Model Checking Tools for Information Systems |
170
click to vote
POPL
1990
ACM
15 years 10 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
183
Voted
ICCCI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. To facilitate communication and the exchange of information between patients, nurses, lab technicians, health insurers, physicians, policy makers, and existing knowledge-...
173
click to vote
MOBICOM
2003
ACM
15 years 11 months ago
2003
ACM
Simulation has become an indispensable tool in the construction and evaluation of mobile systems. By using mobility models that describe constituent movement, one can explore larg...
149
click to vote
BMVC
1998
15 years 7 months ago
1998
To be able to understand the motion of deformable objects, techniques in image processing and computer vision are essential for non-rigid motion analysis in this active research a...
175
click to vote
IJCV
2000
15 years 6 months ago
2000
This paper introduces a uniform statistical framework for both 3-D and 2-D object recognition using intensity images as input data. The theoretical part provides a mathematical too...