21108 search results - page 259 / 4222 » A General Class of Models of |
148
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this work a novel control method is presented for controlling the forward speed and apex height of a special class of running quadruped robot, with a dimensionless inertia o...
182
Voted
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
169
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
The standard versions of HOL only support disjoint sums over finite families of types. This paper introduces disjoint sums over type classes containing possibly a countably infinit...
230
Voted
CAV
1994
Springer
15 years 10 months ago
1994
Springer
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...
156
click to vote
EUROPAR
1995
Springer
15 years 10 months ago
1995
Springer
Much work has been done in the areas of and–parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types...