Sciweavers

3443 search results - page 276 / 689
» More Algebras for Determiners
Sort
View
CIVR
2003
Springer
198views Image Analysis» more  CIVR 2003»
15 years 12 months ago
Text or Pictures? An Eyetracking Study of How People View Digital Video Surrogates
bstract and display digital video surrogates. This study reports on an investigation of digital video results pages that use textual and visual surrogates. Twelve subjects selected...
Anthony Hughes, Todd Wilkens, Barbara M. Wildemuth...
DEXA
2003
Springer
113views Database» more  DEXA 2003»
15 years 12 months ago
Termination Analysis of Active Rules with Priorities
This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have sugg...
Alain Couchot
DIGRA
2003
Springer
15 years 12 months ago
Conditions of Engagement in Game Simulation: Contexts of Gender, Culture and Age
We advocate a research approach to determining the conditions of engagement in game simulation that is a multi-disciplinary cultural and scientific inquiry at the juncture of psyc...
Ralph Noble, Kathleen Ruiz, Marc Destefano, Jonath...
FMCO
2003
Springer
102views Formal Methods» more  FMCO 2003»
15 years 12 months ago
Preserving Properties Under Change
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
Heike Wehrheim
FSR
2003
Springer
128views Robotics» more  FSR 2003»
15 years 12 months ago
Development of a Terrain Adaptive Stability Prediction System for Mass Articulating Mobile Robots
Dynamic stability is an important issue for vehicles which move heavy loads, turn at speed, or operate on sloped terrain. In many cases, vehicles face more than one of these chall...
Antonio Diaz-Calderon, Alonzo Kelly