Sciweavers

3718 search results - page 451 / 744
» IMPS: System Description
Sort
View
CAIP
2007
Springer
176views Image Analysis» more  CAIP 2007»
16 years 27 days ago
A Modular Approach for Automating Video Analysis
Automating the steps involved in video processing has yet to be tackled with much success by vision developers and knowledge engineers. This is due to the difficulty in formulating...
Gayathri Nadarajan, Arnaud Renouf
CIE
2007
Springer
16 years 27 days ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
ECML
2007
Springer
16 years 26 days ago
Graph-Based Domain Mapping for Transfer Learning in General Games
A general game player is an agent capable of taking as input a description of a game’s rules in a formal language and proceeding to play without any subsequent human input. To do...
Gregory Kuhlmann, Peter Stone
ESWS
2007
Springer
16 years 26 days ago
Putting Business Intelligence into Documents
Business processes are often statically implemented and may not be established ad-hoc. For the realization of dynamic process configurations that demand for changes in these imple...
Tobias Bürger
EUROPAR
2007
Springer
16 years 26 days ago
Securing Sensor Reports in Wireless Sensor Networks*
Abstract. The sensor reports from a wireless sensor network are often used extensively in the decision making process in many systems and applications. Hence, classifying real and ...
Al-Sakib Khan Pathan, Choong Seon Hong