4061 search results - page 661 / 813 » Routing Using Geospatial Information System Analysis |
305
Voted
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
176
Voted
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
In this paper, a new recursive algorithm is proposed for optimal estimation of similarity measure used in a content-based retrieval system. This is performed through a relevance f...
141
click to vote
SIGDOC
2006
ACM
16 years 8 days ago
2006
ACM
Few users of computer applications seek help from the documentation. This paper reports the results of an empirical study of why this is so and examines how, in real work, users s...
163
click to vote
BPM
2009
Springer
15 years 11 months ago
2009
Springer
This report will present a collection of tools that supports the precise definition, careful analysis, and execution of processes that coordinate the actions of humans, automated d...
191
click to vote
ER
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...