2786 search results - page 492 / 558 » A Practical Technique for Process Abstraction |
130
click to vote
ER
2001
Springer
15 years 6 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...
110
click to vote
EUROPAR
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Parallel relational databases have been successful in providing scalable performance for data intensive applications, and much work has been carried out on query processi...
101
click to vote
EVOW
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This work describes the use of genetic algorithms for automating the photogrammetric network design process. When planning a photogrammetric network, the cameras should b...
123
click to vote
ICALP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We consider the sequence comparison problem, also known as “hidden pattern” problem, where one searches for a given subsequence in a text (rather than a string unders...
107
click to vote
LICS
2000
IEEE
15 years 6 months ago
2000
IEEE
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....