Sciweavers

381 search results - page 17 / 77
» Using Temporal Coherence to Build Models of Animals
Sort
View
RECOMB
2006
Springer
15 years 10 months ago
A Patient-Gene Model for Temporal Expression Profiles in Clinical Studies
Abstract. Pharmacogenomics and clinical studies that measure the temporal expression levels of patients can identify important pathways and biomarkers that are activated during dis...
Naftali Kaminski, Ziv Bar-Joseph
B
2007
Springer
15 years 3 months ago
A Generic Flash-Based Animation Engine for ProB
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
Jens Bendisposto, Michael Leuschel
ESOP
2003
Springer
15 years 2 months ago
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
Karine Altisen, Aurélie Clodic, Florence Ma...
VLDB
1992
ACM
151views Database» more  VLDB 1992»
15 years 1 months ago
A Uniform Approach to Processing Temporal Queries
Research in temporal databases has mainly focused on defining temporal data models by extending existing models, and developing access structures for temporal data. Little has bee...
Umeshwar Dayal, Gene T. J. Wuu
SMA
2009
ACM
223views Solid Modeling» more  SMA 2009»
15 years 4 months ago
Particle-based forecast mechanism for continuous collision detection in deformable environments
Collision detection in geometrically complex scenes is crucial in physical simulations and real time applications. Works based on spatial hierarchical structures have been propose...
Thomas Jund, David Cazier, Jean-François Du...