Sciweavers

207 search results - page 25 / 42
» Experiments with Implementations of Two Theoretical Construc...
Sort
View
CONSTRAINTS
2006
105views more  CONSTRAINTS 2006»
13 years 7 months ago
Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction
Constraint satisfaction problems (CSPs) sometimes contain both variable symmetries and value symmetries, causing adverse effects on CSP solvers based on tree search. As a remedy, s...
Y. Law, J. Lee
GI
1997
Springer
13 years 11 months ago
Persistent Object Systems: From Technology to Market
Abstract. This text describes how persistent object system technology developed in European basic research is being used by a small German startup software company to realize innov...
Andreas Gawecki, Florian Matthes, Joachim W. Schmi...
SPATIALCOGNITION
1998
Springer
13 years 11 months ago
Mental Models in Spatial Reasoning
This chapter gives an overview of our ongoing experimental research in the MeMoSpace project, concerning the cognitive processes underlying human spatial reasoning. Our theoretical...
Markus Knauff, Reinhold Rauh, Christoph Schlieder,...
CDES
2006
101views Hardware» more  CDES 2006»
13 years 9 months ago
Hybrid Error-Detection Approach with No Detection Latency for High-Performance Microprocessors
- Error detection plays an important role in fault-tolerant computer systems. Two primary parameters concerned for error detection are the latency and coverage. In this paper, a ne...
Yung-Yuan Chen, Kuen-Long Leu, Li-Wen Lin
AROBOTS
1999
87views more  AROBOTS 1999»
13 years 7 months ago
Dynamics of a Classical Conditioning Model
Abstract. Classical conditioning is a basic learning mechanism in animals and can be found in almost all organisms. If we want to construct robots with abilities matching those of ...
Christian Balkenius