Sciweavers

2061 search results - page 297 / 413
» Measuring Corner Properties
Sort
View
123
Voted
PASTE
2005
ACM
15 years 10 months ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...
VRST
2005
ACM
15 years 10 months ago
Human performance in space telerobotic manipulation
This paper considers the utility of VR in the design of the interface to a space-based telerobotic manipulator. An experiment was conducted to evaluate the potential for improved ...
Philip Lamb, Dean Owen
WOWMOM
2005
ACM
106views Multimedia» more  WOWMOM 2005»
15 years 10 months ago
A Framework for Dynamic Service Composition
To be able to utilize the generative potential of future networks for service composition, the attributes of services and networks must be appropriately formalized, stored and mad...
Paramai Supadulchai, Finn Arve Aagesen
AIED
2005
Springer
15 years 10 months ago
Do Performance Goals Lead Students to Game the System?
Students approach the learning opportunity offered by intelligent tutoring systems with a variety of goals and attitudes. These goals and attitudes can substantially affect student...
Ryan Shaun Baker, Ido Roll, Albert T. Corbett, Ken...
ATAL
2005
Springer
15 years 10 months ago
Evaluating the interaction with synthetic agents using attention and affect tracking
We motivate an approach to evaluating the utility of synthetic agents that is based on human physiology rather than questionnaires. The primary tool is an eye tracker that provide...
Helmut Prendinger, Chunling Ma, Jin Yingzi, Kushid...