675 search results - page 76 / 135 » Using Fairness to Make Abstractions Work |
161
Voted
FM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
146
Voted
IJFCS
2006
15 years 3 months ago
2006
We introduce the networks of Mealy multiset automata, and study their computational power. The networks of Mealy multiset automata are computationally complete. 1 Learning from Mo...
145
Voted
WOSP
2005
ACM
15 years 9 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
159
Voted
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Robust vision-based grasping is still a hard problem for humanoid robot systems. When being restricted to using the camera system built-in into the robot’s head for o...
110
Voted
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. XML database query languages such as XQuery employ regular expression types with structural subtyping. Subtyping systems typically have two presentations, which should be...