Sciweavers

2556 search results - page 283 / 512
» The Triconnected Abstraction of Process Models
Sort
View
ICSOFT
2007
15 years 8 months ago
Integrating Software Architecture Concepts Into the MDA Platform
: Architecture Description Languages (ADLs) provide an abstract representation of software systems. Achieving a concrete mapping of such representation into the implementation is o...
Adel Alti, Tahar Khammaci, Adel Smeda, Djamel Benn...
AMAI
2000
Springer
15 years 7 months ago
A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving
This is a prospective on the research in the intersection of mathematics and artificial intelligence that I see as having been the most important over the past 10 years and that I...
Harvey J. Greenberg
MVA
1998
162views Computer Vision» more  MVA 1998»
15 years 6 months ago
Multipass hierarchical stereo matching for generation of digital terrain models from aerial images
Abstract. This paper presents a new multi-pass hierarchical stereo-matching approach for generation of digital terrain models (DTMs) from two overlapping aerial images. Our method ...
Yi-Ping Hung, Chu-Song Chen, Kuan-Chung Hung, Yong...
ATAL
1995
Springer
15 years 10 months ago
The Architecture of an Agent Building Shell
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
Mihai Barbuceanu, Mark S. Fox
SSS
2007
Springer
121views Control Systems» more  SSS 2007»
16 years 1 months ago
Byzantine Self-stabilizing Pulse in a Bounded-Delay Model
Abstract. “Pulse Synchronization” intends to invoke a recurring distributed event at the different nodes, of a distributed system as simultaneously as possible and with a freq...
Danny Dolev, Ezra N. Hoch