Sciweavers

2330 search results - page 273 / 466
» A System for Object Class Detection
Sort
View
152
Voted
TPHOL
2003
IEEE
15 years 10 months ago
First Order Logic with Domain Conditions
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
Freek Wiedijk, Jan Zwanenburg
145
Voted
HOPL
2007
15 years 8 months ago
The development of the Emerald programming language
Emerald is an object-based programming language and system designed and implemented in the Department of Computer Science at the University of Washington in the early and mid-1980...
Andrew P. Black, Norman C. Hutchinson, Eric Jul, H...
ICIP
2002
IEEE
16 years 6 months ago
Long term tracking using Bayesian networks
This paper addresses long term tracking of multiple objects with occlusions. Bayesian networks are used to model the interaction among the detected tracks and for conflict managem...
Arnaldo J. Abrantes, João Miranda Lemos, Jo...
VRCAI
2009
ACM
15 years 11 months ago
Collision-free travel with terrain maps
Terrain maps, commonly used for updating elevation values of a moving object (i.e., a traveler), may be conveniently used for detecting and preventing collisions between the trave...
Andrei Sherstyuk, Anton Treskunov
PG
2003
IEEE
15 years 10 months ago
Virtual Sandbox
Interactive applications such as virtual reality systems have become popular in recent years. A ground surface composed of a granular material can be deformed when it comes into c...
Koichi Onoue, Tomoyuki Nishita