Sciweavers

3706 search results - page 436 / 742
» System Description: E-KRHyper
Sort
View
CIE
2007
Springer
16 years 28 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 28 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 28 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 28 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
IVA
2007
Springer
16 years 27 days ago
Incorporating Emotion Regulation into Virtual Stories
This paper presents an approach to incorporate emotion regulation as addressed within psychology literature into virtual characters. To this end, first Gross’ informal theory of ...
Tibor Bosse, Matthijs Pontier, Ghazanfar F. Siddiq...