Sciweavers

257 search results - page 22 / 52
» connection 1999
Sort
View
ECSQARU
1999
Springer
15 years 1 months ago
Anchoring Symbols to Vision Data by Fuzzy Logic
Intelligent agents embedded in physical environments need ity to connect, or anchor, the symbols used to perform abstract reasoning to the physical entities which these symbols ref...
Silvia Coradeschi, Alessandro Saffiotti
ER
1999
Springer
152views Database» more  ER 1999»
15 years 1 months ago
Semantically Accessing Documents Using Conceptual Model Descriptions
. When publishing documents on the web, the user needs to describe and classify her documents for the benefit of later retrieval and use. This paper presents an approach to semanti...
Terje Brasethvik, Jon Atle Gulla
ESOP
1999
Springer
15 years 1 months ago
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
Andreas Podelski, Witold Charatonik, Martin Mü...
86
Voted
RTCSA
1999
IEEE
15 years 1 months ago
Scalable Architecture for Real-Time Applications and Use of Bus-Monitoring
The lifecycle for industrial applications are becoming shorter, the application complexity increases, performance is to low, fault tolerance is required, reuse of components is de...
Tommy Klevin, Lennart Lindh
SMI
1999
IEEE
116views Image Analysis» more  SMI 1999»
15 years 1 months ago
Intersecting Surfaces of Special Types
We present efficient and robust algorithms for intersecting a freeform surface with a ringed surface or a ruled surface. A ringed surface is given as a one-parameter family of cir...
Myung-Soo Kim