Sciweavers

1738 search results - page 112 / 348
» Matching Reviews to Objects using a Language Model
Sort
View
146
Voted
DEXAW
1999
IEEE
142views Database» more  DEXAW 1999»
15 years 8 months ago
Developments in Spatio-Temporal Query Languages
ing spatio-temporal data as abstract data types into already existing data models is a promising approach to creating spatio-temporal query languages. In this context, an importan...
Martin Erwig, Markus Schneider
137
Voted
IJAOSE
2010
227views more  IJAOSE 2010»
15 years 2 months ago
Implementing reactive BDI agents with user-given constraints and objectives
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
Aniruddha Dasgupta, Aditya K. Ghose
135
Voted
CRV
2006
IEEE
223views Robotics» more  CRV 2006»
15 years 9 months ago
Disparity Map Estimation Using A Total Variation Bound
This paper describes a new variational method for estimating disparity from stereo images. The stereo matching problem is formulated as a convex programming problem in which an ob...
Wided Miled, Jean-Christophe Pesquet
144
Voted
FLOPS
2010
Springer
15 years 10 months ago
Beluga: Programming with Dependent Types, Contextual Data, and Contexts
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
Brigitte Pientka
145
Voted
WSC
2000
15 years 5 months ago
An integrated object model for activity network based simulation
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
Gert Zülch, Jörg Fischer, Uwe Jonsson