2940 search results - page 91 / 588 » Relational Parametricity and Control |
132
click to vote
LFCS
2007
Springer
15 years 10 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
139
click to vote
SIBGRAPI
2006
IEEE
15 years 10 months ago
2006
IEEE
Deformable objects play an important role in many applications, such as animation and simulation. Effective computation with deformable surfaces can be achieved through the use of...
134
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper presents an epipolar based visual servoing for mobile robots equipped with a panoramic camera. The proposed visual servoing is based on the epipolar geometry and exp...
117
Voted
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
Composite microsystems that integrate mechanical and fluidic components are fast emerging as the next generation of system-on-chip designs. As these systems become widespread in s...
127
click to vote
ICCV
1999
IEEE
15 years 8 months ago
1999
IEEE
Specularities on surfaces with tangential hairs or grooves are readily observable in nature. Examples of such phenomena are the arched or looped highlights observed on horses and ...