Sciweavers

738 search results - page 33 / 148
» Semantic parameterization: A process for modeling domain des...
Sort
View
EUROMICRO
2009
IEEE
14 years 11 days ago
Formal Semantics of the ProCom Real-Time Component Model
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlso...
AAAI
1994
13 years 9 months ago
Automatic Depiction of Spatial Descriptions
A novel combination of ideas from cognitive linguistics and spatial occupancy models in robotics has led to the WIP (Words Into Pictures) system. WIP automatically generates depic...
Patrick Olivier, Toshiyuki Maeda, Jun-ichi Tsujii
KES
2007
Springer
14 years 2 months ago
Inductive Concept Retrieval and Query Answering with Semantic Knowledge Bases Through Kernel Methods
This work deals with the application of kernel methods to structured relational settings such as semantic knowledge bases expressed in Description Logics. Our method integrates a n...
Nicola Fanizzi, Claudia d'Amato
TACS
2001
Springer
14 years 27 days ago
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa
WOA
2007
13 years 9 months ago
Semantic Resource Management in MAS
—In highly dynamic environments like academy and industry it is becoming essential the need of efficient systems for resources organization and discovery. In this paper we descr...
Nicola Cannata, Flavio Corradini, Francesca Piersi...