9730 search results - page 245 / 1946 » Relating models of backtracking |
124
click to vote
HCI
2001
15 years 5 months ago
2001
This paper examines previous research on the topic of depth versus breath in hierarchical menu structures, and explains why searching for information on the world wide web follows...
107
click to vote
JANCL
2006
15 years 4 months ago
2006
We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are welldesi...
146
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper explores the relation between the structured parallelism exposed by the Decomposable BSP (DBSP) model through submachine locality and locality of reference in multi-lev...
119
click to vote
ESWS
2004
Springer
15 years 10 months ago
2004
Springer
Knowledge Provenance is an approach to determining the origin and validity of knowledge/information on the web by means of modeling and maintaining information sources and dependen...
100
click to vote
WSC
2008
15 years 6 months ago
2008
In this work, we propose a coordinator control recipe in the context of a batch process with the use of elements of petri nets and some techniques associated with non linear contr...