254 search results - page 42 / 51 » Extended Process Rewrite Systems: Expressiveness and Reachab... |
70
Voted
TACAS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
EDBT
2008
ACM
15 years 9 months ago
2008
ACM
In the demonstration, we will present the concepts and an implementation of an inductive database ? as proposed by Imielinski and Mannila ? in the relational model. The goal is to...
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...
84
Voted
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
We consider an anytime control algorithm for the situation when the processor resource availability is time-varying. The basic idea is to calculate the components of the control i...
81
Voted
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...