Sciweavers

8771 search results - page 1373 / 1755
» Different by design
Sort
View
AAAI
1996
15 years 9 months ago
Spatial Aggregation: Language and Applications
This paper describes the spatial aggregation language and its applications. Spatial aggregation comprises a framework and a mechanism for organizing computations around image-like...
Christopher Bailey-Kellogg, Feng Zhao, Kenneth Yip
COLING
1996
15 years 9 months ago
Communication in large distributed AI Systems for Natural Language Processing
We. are going to describe the design and implementatior, of a connnuniealion system l.or large AI projects, capable of supporting various software components in a heterogeneous ha...
Jan W. Amtrup, Jörg Benra
FORTE
1994
15 years 9 months ago
Proving the value of formal methods
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
Gerard J. Holzmann
IJCAI
1993
15 years 9 months ago
A Scheme for Agent Collaboration in Open Multiagent Environments
In multiagent planning, an agent sometimes needs to collaborate with others to construct complex plans, or to accomplish large organizational tasks which it cannot do alone. Since...
Eiichi Osawa
MVA
1996
102views Computer Vision» more  MVA 1996»
15 years 9 months ago
Real-Time Recognition of Signaling Lights in Road Traffic
A method for recognizing signal lights in traffic scenes in real time has been developed. It consists of a set of different feature extraction operations acting as sequential filt...
Lampros Tsinas, Volker Graefe
« Prev « First page 1373 / 1755 Last » Next »