3273 search results - page 112 / 655 » types 2007 |
141
click to vote
ISBI
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a novel local region approach for statistically characterizing appearance in the context of medical image segmentation via deformable models. Our appearance model refl...
116
click to vote
ENTER
2007
Springer
15 years 10 months ago
2007
Springer
The World Wide Web has become an important source of information for tourists planning their vacation. So, destination recommendation systems supporting users in their decision ma...
135
click to vote
ACL
1998
15 years 5 months ago
1998
This paper presents a semantic interpretation of adjectival modification in terms of the Generative Lexicon. It highlights the elements which can be borrowed from the GL and devel...
141
click to vote
AML
1998
15 years 4 months ago
1998
The paper builds on both a simply typed term system PRω and a computation model on Scott domains via so-called parallel typed while programs (PTWP). The former provides a notion ...
144
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...