Sciweavers

135 search results - page 19 / 27
» Relating timed and register automata
Sort
View
LATA
2009
Springer
14 years 2 months ago
The Fault Tolerance of NP-Hard Problems
We study the effects of faulty data on NP-hard sets. We consider hard sets for several polynomial time reductions, add corrupt data and then analyze whether the resulting sets are...
Christian Glaßer, Aduri Pavan, Stephen D. Tr...
MSV
2004
13 years 9 months ago
Accurate Modeling and Simulation of Heart Tissue with GDEVS/Cell-DEVS
- We present a model describing the electrical behavior of the heart tissue. Previous research in this field have studied this problem using PDEs (Partial Differential Equations) a...
Gabriel A. Wainer, Norbert Giambiasi
ALIFE
2004
13 years 7 months ago
Building Artificial Life for Play
Toys and play-things are often engineered to replicate the character of real organisms. In the past, inventors often lavished great expense on their life-like automata, their cons...
Alan Dorin
ICIAR
2007
Springer
14 years 2 months ago
Model-Guided Luminance Range Enhancement in Mixed Reality
Abstract. Mixed Reality (MR) applications tend to focus on the accuracy of registration between the virtual and real objects of a scene, while paying relatively little attention to...
Yunjun Zhang, Charles E. Hughes
IDEAS
2007
IEEE
148views Database» more  IDEAS 2007»
14 years 2 months ago
Boundedness of Regular Path Queries in Data Integration Systems
In this paper we study the problem of deciding whether a regular path query over views in data-integration systems can be re-expressed without recursion. The problem becomes chall...
Gösta Grahne, Alex Thomo