2940 search results - page 179 / 588 » Relational Parametricity and Control |
166
click to vote
ICRA
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract— Landmark-based graphs are a useful and parsimonious tool for representing large scale environments. Relating landmarks by means of feedback-control algorithms encoded i...
165
click to vote
SACMAT
2005
ACM
15 years 11 months ago
2005
ACM
As privacy becomes a major concern for both consumers and enterprises, many research efforts have been devoted to the development of privacy protecting technology. We recently pr...
154
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. Among the most successful methods to auto...
146
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper investigates controllability of underactuated rolling systems consisting of a smooth object rolling on a moving smooth surface. Our system consists of a spherical ball ...
162
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
Automated analyses for regression test selection (RTS) attempt to determine if a modified program, when run on a test t, will have the same behavior as an old version of the prog...