Sciweavers

14190 search results - page 63 / 2838
» Abstractions for hybrid systems
Sort
View
BTW
2005
Springer
116views Database» more  BTW 2005»
15 years 5 months ago
Hybride Integration von molekularbiologischen Annotationsdaten
Abstract: Wir präsentieren einen Ansatz, um Annotationsdaten von molekularbiologischen Objekten wie Genen, Proteinen und Pathways aus öffentlichen Datenquellen für datenintensiv...
Christine Körner, Toralf Kirsten, Hong Hai Do...
INEX
2004
Springer
15 years 5 months ago
Hybrid XML Retrieval Revisited
Abstract. The widespread adoption of XML necessitates structureaware systems that can effectively retrieve information from XML document collections. This paper reports on the par...
Jovan Pehcevski, James A. Thom, Seyed M. M. Tahagh...
ER
2008
Springer
123views Database» more  ER 2008»
15 years 1 months ago
Modeling and Querying E-Commerce Data in Hybrid Relational-XML DBMSs
Abstract. Data in many industrial application systems are often neither completely structured nor unstructured. Consequently semi-structured data models such as XML have become pop...
Lipyeow Lim, Haixun Wang, Min Wang
CMSB
2009
Springer
15 years 6 months ago
Computing Reachable States for Nonlinear Biological Models
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...
Thao Dang, Colas Le Guernic, Oded Maler
JAR
2008
107views more  JAR 2008»
14 years 12 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