2526 search results - page 330 / 506 » A New Algorithm for Answer Set Computation |
165
click to vote
CVPR
2006
IEEE
16 years 13 days ago
2006
IEEE
This paper describes a new approach to motion estimation in video. We represent video motion using a set of particles. Each particle is an image point sample with a longduration t...
194
click to vote
IPPS
2006
IEEE
16 years 12 days ago
2006
IEEE
Bulk Synchronous Parallel ML (BSML) is an extension of the functional language Objective Caml to program Bulk Synchronous Parallel (BSP) algorithms. It is deterministic, deadlock ...
157
click to vote
PDP
2006
IEEE
16 years 12 days ago
2006
IEEE
A deadlock free distributed replication service for B2B CORBA based applications is presented. This service provides persistent storage for commercial transactions performed by B2...
168
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
177
click to vote
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
A new approach to automatically extract the main features in color fundus images are proposed in this paper. Optic disk is localized by the principal component analysis (PCA) and ...