807 search results - page 115 / 162 » Modeling Hybrid Domains Using Process Description Language |
102
Voted
FM
2009
Springer
15 years 9 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
153
Voted
TSD
2007
Springer
15 years 8 months ago
2007
Springer
The world wide web is a natural setting for cross-lingual information retrieval. The European Union is a typical example of a multilingual scenario, where multiple users have to de...
144
click to vote
EACL
2003
ACL Anthology
15 years 4 months ago
2003
ACL Anthology
We present a text-based approach for the automatic indexing and retrieval of digital photographs taken at crime scenes. Our research prototype, SOCIS, goes beyond keyword-based ap...
129
Voted
ICSOC
2004
Springer
15 years 8 months ago
2004
Springer
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...
164
Voted
ISCIS
2003
Springer
15 years 7 months ago
2003
Springer
Generating motion and capturing motion of an articulated body for computer animation is an expensive and time-consuming task. Conventionally, animators manually generate intermedia...