Sciweavers

3701 search results - page 210 / 741
» Anatomical Information Science
Sort
View
GI
2010
Springer
15 years 5 months ago
Ranked Set Search in Medline Documents
: Information needs like searching scientific literature that involve high recall rates are difficult to satisfy with ad hoc keyword search. We propose to state queries implicitl...
Kristin Mittag, Alexander Hinneburg
IFIPTCS
2010
15 years 5 months ago
Concurrent Pattern Calculus
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
Thomas Given-Wilson, Daniele Gorla, Barry Jay
KSEM
2010
Springer
15 years 5 months ago
A Formalism for Causal Explanations with an Answer Set Programming Translation
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...
Yves Moinard
GI
2009
Springer
15 years 4 months ago
Group Tracking in an Air Surveillance System
: An operational Air Surveillance System shall generate a stable and reliable air picture. In dense target situations the quality of available sensor data is reduced. System models...
Wolfgang Konle
GI
2009
Springer
15 years 4 months ago
Fusion of IR/CCD Video Streams and Digital Terrain Models for Multi Target Tracking
: Video Streams of optical camera system are analysed by a video processing software which detects moving objects in the video. They are presented in image pixel coordinates. With ...
Kaeye Dästner, Bastian Köhler, Felix Opi...