Sciweavers

9730 search results - page 131 / 1946
» Relating models of backtracking
Sort
View
AB
2007
Springer
16 years 17 days ago
Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...
Heike Siebert, Alexander Bockmayr
DEXA
2004
Springer
126views Database» more  DEXA 2004»
15 years 11 months ago
Detecting Content Changes on Ordered XML Documents Using Relational Databases
Abstract. Previous works in change detection on XML focused on detecting changes to text file using ordered and unordered tree model. These approaches are not suitable for detecti...
Erwin Leonardi, Sourav S. Bhowmick, T. S. Dharma, ...
VR
2003
IEEE
137views Virtual Reality» more  VR 2003»
15 years 11 months ago
Human Movement Performance in Relation to Path Constraint - The Law of Steering in Locomotion
We examine the law of steering – a quantitative model of human movement time in relation to path width and length previously established in hand drawing movement – in a VR loc...
Shumin Zhai, Rogier Woltjer
CONCUR
1998
Springer
15 years 10 months ago
Alternating Refinement Relations
Alternating transition systems are a general model for composite systems which allow the study of collaborative as well as adversarial relationships between individual system compo...
Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, ...
FTRTFT
1994
Springer
15 years 10 months ago
Specification and Refinement of Finite Dataflow Networks - a Relational Approach
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
Manfred Broy, Ketil Stølen