100 search results - page 16 / 20 » A system for specification and verification of interactive, ... |
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Service-oriented architectures (SOA) will provide the basis of the next generation of distributed software systems, and have already gained enormous traction in the industry throu...
PGLDB
2003
13 years 9 months ago
2003
Effective e-learning environments should promote high cooperation. Workflow techniques can certainly contribute to such effectiveness because, in these environments, the creation ...
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
GI
2009
Springer
13 years 5 months ago
2009
Springer
: In this paper we describe an approach that enables the detection, tracking and fine analysis (classification of gender and facial expression) of faces using a single web camera. ...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
This paper describes the concepts of TEA, a flexible tool that supports user tests by automating repetitive tasks and collecting data of user inputs and actions. TEA was specifica...