2935 search results - page 504 / 587 » An Integrated Approach to High Integrity Software Verificati... |
152
click to vote
LREC
2008
15 years 7 months ago
2008
In this paper we present how resources and tools developed within the Human Language Technology Group at the University of Belgrade can be used for tuning queries before submittin...
182
click to vote
NETWORKING
2007
15 years 7 months ago
2007
Abstract. In this paper, we study the localization problem in large-scale underwater sensor networks. The adverse aqueous environments, the node mobility, and the large network sca...
217
click to vote
WEBNET
2001
15 years 7 months ago
2001
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...
140
click to vote
WSC
2004
15 years 7 months ago
2004
The authors present the requirement definition and methodological approach for developing a new generation of Computer Generated Forces (CGF) based on Intelligent Agents. The anal...
133
Voted
IJCAI
1989
15 years 7 months ago
1989
A homogeneous paradigm for evidence integration is presented, and a vision system to recognize 3D objects is demonstrated using this paradigm. A new concept called generalizedfeat...