13383 search results - page 2292 / 2677 » Abstractions from proofs |
133
click to vote
CJ
2010
15 years 2 months ago
2010
A policy for a minimal reactive agent is a set of condition-action rules used to determine its response to perceived environmental stimuli. When the policy pre-disposes the agent t...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. One of the fastest evolving field among teaching and learning research is students' performance evaluation. Computer based testing systems are increasingly adopted b...
123
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This article describes requirements and challenges of crossplatform multi-touch software engineering, and presents the open source framework Multi-Touch for Java (MT4j) as a solut...
119
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper, we show how to efficiently and effectively extract a rich class of low-rank textures in a 3D scene from 2D images despite significant distortion and warpin...
157
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Mining association rules is a task of data mining, which extracts knowledge in the form of significant implication relation of useful items (objects) from a database. Mining multi...