286 search results - page 39 / 58 » Reasoning about multiple related abstractions with MultiStar |
IEE
2008
14 years 9 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
ICANN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Modeling the statistical structure of natural images is interesting for reasons related to neuroscience as well as engineering. Currently, this modeling relies heavily on...
SEMWEB
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. OWL-S allows selecting, composing and invoking Web Serdifferent levels of abstraction: selection uses high level abstract descriptions, invocation uses low level groundi...
82
Voted
ACL
2008
14 years 11 months ago
2008
For centuries, the deep connection between languages has brought about major discoveries about human communication. In this paper we investigate how this powerful source of inform...
72
Voted
DAGSTUHL
2007
14 years 11 months ago
2007
arrhythmias (extended abstract) Elisa Fromont, Ren´e Quiniou, Marie-Odile Cordier We are interested in using parallel universes to learn interpretable models that can be subseque...