6020 search results - page 256 / 1204 » A New Approach to Model Counting |
163
click to vote
ZUM
2005
Springer
16 years 3 days ago
2005
Springer
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
158
click to vote
AGI
2008
15 years 8 months ago
2008
: There are several approaches to emotions in AI, most of which are inspired by human emotional states and their arousal mechanisms. These approaches usually use high-level models ...
190
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, the task of text segmentation is approached from a topic modeling perspective. We investigate the use of latent Dirichlet allocation (LDA) topic model to segment a ...
186
click to vote
BMVC
1998
15 years 8 months ago
1998
The paper presents a new parameter-free approach to non-rigid image registration, where displacements, obtained through a mapping of boundary structures in the source and target i...
186
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— This paper presents a new model-free visual servoing that is able to servo a robotized 2D ultrasound probe that interacts with a soft tissue object. It makes direct use...