5599 search results - page 886 / 1120 » Abstract State Services |
127
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
The current state of the art in agent technology sees that several implementations of agent frameworks exist. However, there is little agreement on the terms and concepts used to ...
152
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
177
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The coordination of complex process structures is a fundamental task for enterprises, such as in the automotive industry. Usually, such process structures consist of seve...
138
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
173
click to vote
CLEAR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The paper presents an evaluation of both head pose and visual focus of attention (VFOA) estimation algorithms in a meeting room environment. Head orientation is estimated...