18451 search results - page 3451 / 3691 » Selecting a Selection Procedure |
170
Voted
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
Our goal was to improve image guidance during minimally invasive image guided therapy by developing an intraoperative segmentation and nonrigid registration algorithm. The algorith...
148
click to vote
MOVEP
2000
15 years 10 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
154
click to vote
PATMOS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The emergence of data-intensive applications in mobile environments has resulted in portable electronic systems with increasingly large dynamic memories. The typical oper...
179
click to vote
PRICAI
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we propose a system called kMedia that can assist users to form knowledge for community by showing shared topics networks (STN) among them. One of the important aspe...
147
click to vote
ATAL
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we present a formalisation of motivational attitudes, the attitudes that are the driving forces behind the actions of agents. We consider the statics of these attitu...