886 search results - page 129 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
114
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Modern feature-rich telecommunications services offer significant opportunities to human users. To make these services more usable, facilitating personalisation is very important s...
192
click to vote
MICCAI
2000
Springer
15 years 5 months ago
2000
Springer
This paper is focused on the use of the level set formalism to segment anatomical structures in 3D images (ultrasound ou magnetic resonance images). A closed 3D surface propagates...
130
click to vote
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
Background: Since Swanson proposed the Undiscovered Public Knowledge (UPK) model, there have been many approaches to uncover UPK by mining the biomedical literature. These earlier...
CG
2007
Springer
15 years 1 months ago
2007
Springer
Algorithms that use point-cloud models make heavy use of the neighborhoods of the points. These neighborhoods are used to compute the surface normals for each point, mollificatio...
112
click to vote
EMNLP
2010
14 years 11 months ago
2010
We present a unified view of two state-of-theart non-projective dependency parsers, both approximate: the loopy belief propagation parser of Smith and Eisner (2008) and the relaxe...