Sciweavers

836 search results - page 102 / 168
» An Object Semantic Model of SOFL
Sort
View
STACS
2010
Springer
14 years 5 months ago
Evolving Multialgebras Unify All Usual Sequential Computation Models
Abstract. It is well-known that Abstract State Machines (ASMs) can simulate “stepby-step” any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) s...
Serge Grigorieff, Pierre Valarcher
ECOWS
2006
Springer
14 years 1 months ago
Formal Modelling and Verification of an Asynchronous Extension of SOAP
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzan...
ECCV
2006
Springer
14 years 12 months ago
Learning Compositional Categorization Models
Abstract. This contribution proposes a compositional approach to visual object categorization of scenes. Compositions are learned from the Caltech 101 database1 intermediate abstra...
Björn Ommer, Joachim M. Buhmann
DLOG
1996
13 years 11 months ago
A Translation Scheme for Domain Ontologies Based on Model Ontologies of KBS
To ensure the re-use of domain ontologies the usual approach relies on a pivot language, e.g., Kif, intoandfromwhich the domainontologyis translated. This requires several distinc...
Houria Mihoubi, Ana Simonet, Michel Simonet
MDM
2009
Springer
130views Communications» more  MDM 2009»
14 years 4 months ago
Towards an Indoor Level-of-Detail Model for Route Visualization
Indoor routing represents an essential feature required by applications and systems that provide spatial information about complex sites, buildings and infrastructures such as in ...
Benjamin Hagedorn, Matthias Trapp, Tassilo Glander...