2558 search results - page 209 / 512 » Model Composition Contracts |
127
click to vote
ESANN
1998
15 years 6 months ago
1998
Our problem concerns the joint interpretation of UltraSonic and InfraRed measurements provided by a composite proximity sensor, in order to extract geometrical and morphological f...
134
click to vote
KI
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we suggest a typed compositional semantics for nominal compounds of the form [Adj Noun] that models adjectives as higher-order polymorphic functions, and where types...
130
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we present ideas and architectural principles upon which we are basing the development of a distributed, open-source infrastructure that, in turn, will support the ex...
172
click to vote
BLISS
2007
IEEE
15 years 11 months ago
2007
IEEE
Witnesses and victims of serious crime are often required to construct a facial composite, a visual likeness of a suspect’s face. The traditional method is for them to select in...
140
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...