2131 search results - page 155 / 427 » Immunity for Closed Sets |
178
click to vote
ICDAR
2007
IEEE
16 years 24 days ago
2007
IEEE
We address document image classification by visual appearance. An image is represented by a variable-length list of visually salient features. A hierarchical Bayesian network is ...
175
click to vote
IPPS
2007
IEEE
16 years 24 days ago
2007
IEEE
Nowadays, distributed collaborative virtual environments are used in many scenarios such as tele-surgery, gaming, and industrial training, However several challenging issues remai...
165
click to vote
HVC
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
147
click to vote
ISVC
2007
Springer
16 years 19 days ago
2007
Springer
This paper presents a new image-space algorithm for real-time collision detection, where the GPU computes the potentially colliding sets, and the CPU performs the standard triangle...
172
click to vote
LFCS
2007
Springer
16 years 19 days ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...