Sciweavers

3768 search results - page 488 / 754
» Knowledge and Information in Probabilistic Systems
Sort
View
CRV
2005
IEEE
208views Robotics» more  CRV 2005»
16 years 6 days ago
Topology Inference for a Vision-Based Sensor Network
In this paper we describe a technique to infer the topology and connectivity information of a network of cameras based on observed motion in the environment. While the technique c...
Dimitri Marinakis, Gregory Dudek
PRDC
2005
IEEE
16 years 4 days ago
On Automating Failure Mode Analysis and Enhancing its Integrity
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
Kam S. Tso, Ann T. Tai, Savio N. Chau, Leon Alkala...
CLEF
2005
Springer
16 years 3 days ago
A Logic Programming Based Approach to QA@CLEF05 Track
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
Paulo Quaresma, Irene Pimenta Rodrigues
MKM
2005
Springer
16 years 2 days ago
A Proof-Theoretic Approach to Hierarchical Math Library Organization
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
Kamal Aboul-Hosn, Terese Andersen
ICWE
2004
Springer
15 years 12 months ago
Engineering a Semantic Web for Pathology
Abstract. Digital pathology or telepathology intends to extend the usage of electronic images for diagnostical, support or educational purposes in anatomical or clinical pathology....
Robert Tolksdorf, Elena Paslaru Bontas