3706 search results - page 661 / 742 » KtSeqC: System Description |
153
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
158
click to vote
VR
1999
IEEE
15 years 10 months ago
1999
IEEE
We have created an immersive application for statistical graphics and have investigated what benefits it offers over more traditional data analysis tools. This paper presents a de...
138
click to vote
ICCBR
1999
Springer
15 years 10 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...
160
click to vote
ROBOCUP
1999
Springer
15 years 10 months ago
1999
Springer
All mobile robots require some form of motion control in order to exhibit interesting autonomous behaviors. This is even more essential for multi-robot, highly-dynamic environment...
150
click to vote
B
1998
Springer
15 years 10 months ago
1998
Springer
In B, the expression of dynamic constraints is notoriously missing. In this paper, we make various proposals for introducing them. They all express, in di erent complementary ways,...