1175 search results - page 104 / 235 » A Model for Structural Changes of Belief |
186
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
in Proceedings of the 2000 IEEE International Conference on Robotics and Automation, San Francisco, April 2000 The augmented object model provided the basis for effective coopera...
169
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
Copyright protection of graphical objects and models is important for protecting author rights in animation, multimedia, computeraided design (CAD), virtual reality, medical imagi...
139
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Inspired by the motion of a solid surface under liquid pressure, this paper proposes a novel deformable surface model to segment blood vessels in medical images. In the p...
137
click to vote
RE
2005
Springer
15 years 12 months ago
2005
Springer
The importance of assumptions in Requirements Engineering has long been recognised. However, to the best of our knowledge, no quantitative models for the relation between assumpti...
183
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...