1567 search results - page 103 / 314 » A Mechanized Model of the Theory of Objects |
135
click to vote
JMM2
2007
15 years 1 months ago
2007
— This paper makes new contributions in motion detection, object segmentation and trajectory estimation to create a successful object tracking system. A new efficient motion det...
123
Voted
OOPSLA
2010
Springer
15 years 1 days ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
AISC
2004
Springer
15 years 7 months ago
2004
Springer
Qualitative Reasoning is characterised by making knowledge explicit in order to arrive at efficient reasoning techniques. It contrasts with often intractable quantitative models. W...
121
click to vote
AROBOTS
2002
15 years 1 months ago
2002
Abstract. In multi-robot applications, such as foraging or collection tasks, interference, which results from competition for space between spatially extended robots, can significa...
113
click to vote
ISBI
2006
IEEE
16 years 2 months ago
2006
IEEE
In this paper, we use marked point processes to perform an unsupervised extraction of the coronary tree from 2D X-ray angiography. These processes provide a rigorous framework bas...