Sciweavers

9730 search results - page 131 / 1946
» Relating models of backtracking
Sort
View
146
Voted
AB
2007
Springer
15 years 9 months 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
248
Voted
DEXA
2004
Springer
126views Database» more  DEXA 2004»
15 years 9 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, ...
110
Voted
VR
2003
IEEE
137views Virtual Reality» more  VR 2003»
15 years 9 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
116
Voted
CONCUR
1998
Springer
15 years 7 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, ...
127
Voted
FTRTFT
1994
Springer
15 years 7 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