2940 search results - page 159 / 588 » Relational Parametricity and Control |
136
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
133
click to vote
HAPTICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. We describe experiments that compared the perceived relative roughness of textured virtual walls synthesized with an accurately controlled haptic interface. Texture was m...
183
Voted
ANNS
2010
14 years 11 months ago
2010
Evolving recurrent neural networks for behavior control of robots equipped with larger sets of sensors and actuators is difficult due to the large search spaces that come with the ...
168
click to vote
CVPR
1999
IEEE
16 years 6 months ago
1999
IEEE
Traditional plane alignment techniques are typically performed between pairs of frames. In this paper we present a method for extending existing two-frame planar-motion estimation...
94
Voted
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
The common approach to image matching is to detect spatial features present in both images and create a mapping that relates both images. The main drawback of this method takes pl...