Sciweavers

1816 search results - page 131 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
ECTEL
2006
Springer
15 years 8 months ago
A Method for Capitalizing upon and Synthesizing Analyses of Human Interactions
It is often the case that analyses of human interactive activity are lost once an article is written about the results obtained. Although it is clear that corpora are gathered in o...
Annie Corbel, Jean-Jacques Girardot, Kristine Lund
ENTCS
2006
112views more  ENTCS 2006»
15 years 6 months ago
Modeling Web Applications by the Multiple Levels of Integrity Policy
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
Gianluca Amato, Massimo Coppola, Stefania Gnesi, F...
AAAI
2011
14 years 6 months ago
Analogical Dialogue Acts: Supporting Learning by Reading Analogies in Instructional Texts
Analogy is heavily used in instructional texts. We introduce the concept of analogical dialogue acts (ADAs), which represent the roles utterances play in instructional analogies. ...
David Michael Barbella, Kenneth D. Forbus
ICIP
2005
IEEE
16 years 8 months ago
A complementary SVMs-based image annotation system
A novel automatic image annotation system is proposed, which integrates two sets of SVMs (Support Vector Machines), namely the MIL-based (Multiple Instance Learning) and global-fe...
Yutao Han, Xiaojun Qi
IROS
2008
IEEE
118views Robotics» more  IROS 2008»
16 years 24 days ago
Laban Movement Analysis for multi-ocular systems
Abstract— We present as a contribution to the field of humanmachine interaction a system that analyzes human movements online through multiple observers, based on the concept of...
Jörg Rett, Luis Santos, Jorge Dias