3443 search results - page 276 / 689 » More Algebras for Determiners |
160
click to vote
CIVR
2003
Springer
15 years 12 months ago
2003
Springer
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...
152
click to vote
DEXA
2003
Springer
15 years 12 months ago
2003
Springer
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...
147
click to vote
DIGRA
2003
Springer
15 years 12 months ago
2003
Springer
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...
177
click to vote
FMCO
2003
Springer
15 years 12 months ago
2003
Springer
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...
165
click to vote
FSR
2003
Springer
15 years 12 months ago
2003
Springer
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...