2004 search results - page 265 / 401 » Comparison of Model Checking Tools for Information Systems |
121
click to vote
IDEAL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The work presented in this paper shows the capability of a connectionist model, based on a statistical technique called Exploratory Projection Pursuit (EPP), to identify ...
138
click to vote
ITS
2010
Springer
15 years 9 months ago
2010
Springer
The impact of affect on learning has been the subject of increasing attention. Because of the differential effects of students’ affective states on learning outcomes, there is a ...
131
click to vote
IUI
2005
ACM
15 years 10 months ago
2005
ACM
A task-oriented space can benefit from an augmented reality interface that layers the existing tools and surfaces with useful information to make cooking more easy, safe and effic...
195
click to vote
3DICA
2000
15 years 5 months ago
2000
Towards photo-realistic 3D scene reconstruction from range and color images, we present a statistical technique for multimodal image registration. Statistical tools are employed t...
119
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
A new handwritten text database, GERMANA, is presented to facilitate empirical comparison of different approaches to text line extraction and off-line handwriting recognition. G...