Sciweavers

1306 search results - page 168 / 262
» A Diagrammatic Approach to Model Completion
Sort
View
113
Voted
ECCV
1996
Springer
16 years 2 months ago
Generation of Semantic Regions from Image Sequences
The simultaneous interpretation of object behaviour from real world image sequences is a highly desirable goal in machine vision. Although this is rather a sophisticated task, one ...
Jonathan H. Fernyhough, Anthony G. Cohn, David Hog...
112
Voted
AGENTS
2001
Springer
15 years 5 months ago
Argumentation as distributed constraint satisfaction: applications and results
Conflict resolution is a critical problem in distributed and collaborative multi-agent systems. Negotiation via argumentation (NVA), where agents provide explicit arguments or ju...
Hyuckchul Jung, Milind Tambe, Shriniwas Kulkarni
ISTCS
1993
Springer
15 years 5 months ago
Analog Computation Via Neural Networks
We pursue a particular approach to analog computation, based on dynamical systems of the type used in neural networks research. Our systems have a xed structure, invariant in time...
Hava T. Siegelmann, Eduardo D. Sontag
119
Voted
ENTCS
2008
153views more  ENTCS 2008»
15 years 1 months ago
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
Johan Dovland, Einar Broch Johnsen, Olaf Owe
123
Voted
NGC
1998
Springer
115views Communications» more  NGC 1998»
15 years 21 days ago
On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
Maria Paola Bonacina, Jieh Hsiang