Sciweavers

139 search results - page 9 / 28
» A material focus: exploring properties of computational comp...
Sort
View
JLP
2007
81views more  JLP 2007»
13 years 7 months ago
The SL synchronous language, revisited
We revisit the SL synchronous programming model introduced by Boussinot and De Simone (IEEE, Trans. on Soft. Eng., 1996). We discuss an alternative design of the model including t...
Roberto M. Amadio
ECOOPW
2004
Springer
13 years 11 months ago
Evolution and Reuse of Language Specifications for DSLs (ERLS)
Abstract. This report summarizes the results of the workshop on evolution and reuse for language specifications for DSLs. The focus of the workshop was twofold: exploration of the ...
Thomas Cleenewerck, Krzysztof Czarnecki, Jörg...
FQAS
2009
Springer
202views Database» more  FQAS 2009»
14 years 2 months ago
Controlled Aggregate Tree Shaped Questions over Ontologies
Abstract. Controlled languages (CLs) are ambiguity-free subsets of natural languages such as English offering a good trade-off between the formal rigor of ontology and query langua...
Camilo Thorne, Diego Calvanese
SACI
2007
IEEE
14 years 2 months ago
Haptic Human Interfaces for Robotic Telemanipulation
–This paper proposes that there are ultimately only two topical tactile feedback generation modalities for haptic human interfaces which allow the human operator to handle either...
Emil M. Petriu, Pierre Payeur, Ana-Maria Cretu
COSIT
2001
Springer
158views GIS» more  COSIT 2001»
14 years 13 days ago
Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no result...
Alexander Scivos, Bernhard Nebel