10819 search results - page 73 / 2164 » Addition and multiplication of sets |
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
To improve the productivity of the development process, more and more tools for static software analysis are tightly integrated into the incremental build process of an IDE. If mu...
IPMI
2007
Springer
14 years 8 months ago
2007
Springer
Abstract. We describe a new approach for estimating the posterior probability of tissue labels. Conventional likelihood models are combined with a curve length prior on boundaries,...
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
ISBI
2004
IEEE
14 years 8 months ago
2004
IEEE
In this paper, we propose a novel variational framework for the reconstruction of dynamic objects from sparse and noisy tomographic data. Using an object-based scene model, we dev...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— Direct physical human-robot interaction has become a central part in the research field of robotics today. To use the advantages of the potential for humans and robots...