Sciweavers

3706 search results - page 137 / 742
» OntoComP System Description
Sort
View
TCS
2008
15 years 5 months ago
Temporal constraints in the logical analysis of regulatory networks
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
Heike Siebert, Alexander Bockmayr
JMM2
2007
105views more  JMM2 2007»
15 years 4 months ago
A Framework for Gesture Interface Design
— Gesture interfaces have long been pursued in the context of portable computing and immersive environments. However, such interfaces have been difficult to build, in part due t...
Zhenyao Mo, Ulrich Neumann
JWSR
2007
89views more  JWSR 2007»
15 years 4 months ago
Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction
: We propose a framework and polynomial algorithms for semantic-based automated Web service composition, fully compliant with Semantic Web technologies. The approach exploits the r...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
160
Voted
RCC
2002
104views more  RCC 2002»
15 years 4 months ago
Architectural Specification, Exploration and Simulation Through Rewriting-Logic
In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...
Mauricio Ayala-Rincón, Reiner W. Hartenstei...
135
Voted
AAAI
2011
14 years 5 months ago
Reasoning About General Games Described in GDL-II
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learning—without human intervention...
Stephan Schiffel, Michael Thielscher