Sciweavers

2623 search results - page 176 / 525
» tools 2010
Sort
View
ENTCS
2002
112views more  ENTCS 2002»
15 years 6 months ago
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
Ivan Scagnetto, Marino Miculan
ENTCS
2002
91views more  ENTCS 2002»
15 years 6 months ago
Petri nets with causal time for system verification
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
Cécile Bui Thanh, Hanna Klaudel, Franck Pom...
AEI
2010
66views more  AEI 2010»
15 years 6 months ago
Ikaros: Building cognitive models for robots
The Ikaros project started in 2001 with the aim of developing an open infrastructure for system-level brain modeling. The system has developed into a general tool for cognitive mo...
Christian Balkenius, Jan Morén, Birger Joha...
EUROMED
2010
15 years 5 months ago
Architectural Heritage Online: Ontology-Driven Website Generation for World Heritage Sites in Danger
We introduce an online knowledge base for semantic representation and annotation of a world heritage site in danger. For this purpose we designed ontology inside the protégé tool...
Elham Andaroodi, Asanobu Kitamoto
EUROMED
2010
15 years 5 months ago
Teleimmersive Archaeology: Simulation and Cognitive Impact
Abstract. In this paper we present the framework for collaborative cyberarchaeology with support for teleimmersive communication which aims to provide more natural interaction and ...
Maurizio Forte, Gregorij Kurillo, Teenie Matlock