Sciweavers

33 search results - page 2 / 7
» An Ontology for Transitions in Physical Dynamic Systems
Sort
View
SEMWEB
2007
Springer
13 years 11 months ago
Dynamic Ontology Co-Evolution from Texts: Principles and Case Study
As claimed in the Semantic Web project, a huge amount of physically distributed interacting software agents could find the semantic of available resources and answer more relevantl...
Kévin Ottens, Nathalie Aussenac-Gilles, Mar...
JAR
2008
107views more  JAR 2008»
13 years 5 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer
ICCAD
2001
IEEE
127views Hardware» more  ICCAD 2001»
14 years 2 months ago
What is the Limit of Energy Saving by Dynamic Voltage Scaling?
Dynamic voltage scaling (DVS) is a technique that varies the supply voltage and clock frequency based on the computation load to provide desired performance with the minimal amoun...
Gang Qu
ROBOCUP
2007
Springer
159views Robotics» more  ROBOCUP 2007»
13 years 11 months ago
Model Checking Hybrid Multiagent Systems for the RoboCup
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...
SEMWEB
2007
Springer
13 years 11 months ago
DRIFT: A Framework for Ontology-based Design Support Systems
This paper proposes a framework for ontology-based design support systems, called DRIFT (Design Rationale Integration Framework of Three layers), which records, structures and retr...
Yutaka Nomaguchi, Kikuo Fujita