Sciweavers

2638 search results - page 264 / 528
» A Framework for Automatic Debugging
Sort
View
ASE
2004
148views more  ASE 2004»
15 years 7 months ago
TestEra: Specification-Based Testing of Java Programs Using SAT
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
Sarfraz Khurshid, Darko Marinov
AI
2000
Springer
15 years 7 months ago
Model-based reasoning about learner behaviour
Automated handling of tutoring and training functions in educational systems requires the availability of articulate domain models. In this article we further develop the applicat...
Kees de Koning, Bert Bredeweg, Joost Breuker, Bob ...
SIGDIAL
2010
15 years 5 months ago
Towards an Empirically Motivated Typology of Follow-Up Questions: The Role of Dialogue Context
A central problem in Interactive Question Answering (IQA) is how to answer Follow-Up Questions (FU Qs), possibly by taking advantage of information from the dialogue context. We a...
Manuel Kirschner, Raffaella Bernardi
CVPR
2011
IEEE
15 years 2 months ago
Learning Context for Collective Activity Recognition
In this paper we present a framework for the recognition of collective human activities. A collective activity is defined or reinforced by the existence of coherent behavior of i...
Wongun Choi, Silvio Savarese, Khuram Shahid
CVPR
2007
IEEE
16 years 9 months ago
Quality-Driven Face Occlusion Detection and Recovery
This paper presents a framework to automatically detect and recover the occluded facial region. We first derive a Bayesian formulation unifying the occlusion detection and recover...
Dahua Lin, Xiaoou Tang