2274 search results - page 209 / 455 » A Tale of Two Projects |
132
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
130
click to vote
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
– Allowing a user to remain connected to the network whilst on the move is becoming a common requirement for any new communication system. The EU project Ambient Networks, theref...
152
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes an approach to support practitioners in the analysis of computer-supported learning processes by utilizing logfiles of learners’ actions captured by the sys...
140
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We present a new method for carrying out state estimation in multiagent settings that are characterized by continuous or large discrete state spaces. State estimation in multiagen...
135
click to vote
CLEAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper deals with the CLEAR 2007 evaluation on the detection of acoustic events which happen during seminars or meetings The implemented system consists in a front-en...