9730 search results - page 254 / 1946 » Relating models of backtracking |
141
click to vote
ASM
1998
ASM
15 years 8 months ago
1998
ASM
This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corn...
119
Voted
COLING
2008
15 years 6 months ago
2008
We introduce a new type of discourse constraints for the interaction of discourse relations with the configuration of discourse segments. We examine corpus-extracted examples as s...
141
click to vote
MBUI
2004
15 years 6 months ago
2004
Based on a set of characteristics for diffusion of technology, we question the current state and direction of MBUID. We have suggest a set of requirements based on this set of cha...
CORR
2008
Springer
15 years 4 months ago
2008
Springer
- The goal is the development of a novel principle for the temperature acquisition of refrigerants in CO2 air conditioning systems. The new approach is based on measuring the tempe...
137
Voted
EOR
2007
15 years 4 months ago
2007
This paper is a survey of location-routing: a relatively new branch of locational analysis that takes into account vehicle routing aspects. We propose a classification scheme and...