7766 search results - page 1107 / 1554 » Testing Nondeterminate Systems |
119
click to vote
VTC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Datacasting employs the excess bandwidth from digital television signals for use in one-way data transmission, and it is being used successfully for high-speed download...
124
click to vote
AIED
2007
Springer
15 years 11 months ago
2007
Springer
We compare the relative utility of different automatically computable linguistic feature sets for modeling student learning in computer dialogue tutoring. We use the PARADISE frame...
157
click to vote
BVAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Binocular information about the structure of a scene is contained in the relative positions of corresponding points in the two views. If the eyes rotate, in order to fix...
122
click to vote
ECAL
2007
Springer
15 years 11 months ago
2007
Springer
Real organisms live in a world full of uncertain situations and have evolved cognitive mechanisms to cope with problems based on actions and perceptions which are not always reliab...
120
click to vote
ECOWS
2007
Springer
15 years 11 months ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...