Sciweavers

5159 search results - page 856 / 1032
» Structural Testing of Executables
Sort
View
ROMAN
2007
IEEE
220views Robotics» more  ROMAN 2007»
16 years 1 months ago
Embodiment and Human-Robot Interaction: A Task-Based Perspective
— In this work, we further test the hypothesis that physical embodiment has a measurable effect on performance and impression of social interactions. Support for this hypothesis ...
Joshua Wainer, David Feil-Seifer, Dylan A. Shell, ...
VTC
2007
IEEE
16 years 1 months ago
Modeling UpLink Power Control with Outage Probabilities
We investigate models for uplink interference in wireless systems. Our models account for the effects of outage probabilities. Such an accounting requires a nonlinear, even nonco...
Kenneth L. Clarkson, K. Georg Hampel, John D. Hobb...
AE
2007
Springer
16 years 1 months ago
The Cooperative Royal Road: Avoiding Hitchhiking
We propose using the so called Royal Road functions as test functions for cooperative co-evolutionary algorithms (CCEAs). The Royal Road functions were created in the early 90’s ...
Gabriela Ochoa, Evelyne Lutton, Edmund K. Burke
AIED
2007
Springer
16 years 1 months ago
Comparing Linguistic Features for Modeling Learning in Computer Tutoring
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...
Katherine Forbes-Riley, Diane J. Litman, Amruta Pu...
BIRTHDAY
2007
Springer
16 years 1 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner