380 search results - page 56 / 76 » Models of active learning in group-structured state spaces |
105
click to vote
PTS
2008
14 years 11 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
FGR
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a spatiotemporal pyramid representation for recognizing facial expressions and hand gestures. This approach works by partitioning video sequence into increasin...
112
click to vote
AIED
2011
Springer
14 years 1 months ago
2011
Springer
Both human and automated tutors must infer what a student knows and plan future actions to maximize learning. Though substantial research has been done on tracking and modeling stu...
IJCAI
2007
14 years 11 months ago
2007
Computing semantic relatedness of natural language texts requires access to vast amounts of common-sense and domain-specific world knowledge. We propose Explicit Semantic Analysi...
100
click to vote
TSE
2010
14 years 8 months ago
2010
— Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations. A first generation of Software Pro...