Sciweavers

5945 search results - page 313 / 1189
» A Model for Projection and Action
Sort
View
SAFECOMP
1998
Springer
15 years 11 months ago
An Agenda for Specifying Software Components with Complex Data Models
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
Kirsten Winter, Thomas Santen, Maritta Heisel
AAMAS
2005
Springer
15 years 6 months ago
Learning and Exploiting Relative Weaknesses of Opponent Agents
Agents in a competitive interaction can greatly benefit from adapting to a particular adversary, rather than using the same general strategy against all opponents. One method of s...
Shaul Markovitch, Ronit Reger
CVPR
2007
IEEE
16 years 8 months ago
Automatic texture mapping on real 3D model
We propose a full automatic technique to project virtual texture on a real textureless 3D object. Our sytem is composed of cameras and projector and are used to determine the pose...
Molinier Thierry, David Fofi, Patrick Gorria, Joaq...
SOCRATES
2008
104views Education» more  SOCRATES 2008»
15 years 8 months ago
Cost-effectiveness Analysis Applied to a Blended-Learning-Model
This paper describes briefly an attempt to evaluate the cost-effectiveness of the blended-learning-model characterizing the project OpenCampus. It was not possible to follow the m...
Massimo Loi, Alberto Cattaneo
FAC
2008
67views more  FAC 2008»
15 years 6 months ago
Specification, proof, and model checking of the Mondex electronic purse using RAISE
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
Chris George, Anne Elisabeth Haxthausen