2272 search results - page 441 / 455 » A Calculus for |
SSIAI
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper introduces an active contour or snakebased method for tracking cells within a video sequence. Specifically, we apply our cell tracking techniques to rolling leukocytes ...
CIE
2010
Springer
14 years 1 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
ECAI
2000
Springer
14 years 29 days ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
ISIPTA
1999
IEEE
14 years 27 days ago
1999
IEEE
The purpose of this note is to describe the underlying insights and results obtained by the authors, and others, in a series of papers aimed at modelling the distribution of `natu...
ISIPTA
1999
IEEE
14 years 27 days ago
1999
IEEE
The paper deals with basic issues regarding the measurement of relevant types of uncertainty and uncertainty-based information in theories that represent imprecise probabilities o...