4270 search results - page 213 / 854 » A Permutation Approach to Validation |
172
click to vote
ICC
2007
IEEE
16 years 18 days ago
2007
IEEE
—The sampling expansion approach for computing the performance of TR UWB systems has restricted validity and is very inaccurate in some cases. A new analytical method to evaluate...
179
click to vote
ICRA
2007
IEEE
16 years 18 days ago
2007
IEEE
— This paper presents a method to achieve visual servoing tasks when the shape of the object being observed as well as the final image are unknown. Therefore, a reconstruction p...
164
click to vote
IROS
2007
IEEE
16 years 17 days ago
2007
IEEE
— Omnidirectional cameras have a wide field of view and are thus used in many robotic vision tasks. An omnidirectional view may be acquired by a fisheye camera which provides a...
196
click to vote
SIES
2007
IEEE
16 years 16 days ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
145
click to vote
ICWE
2007
Springer
16 years 13 days ago
2007
Springer
Combining expressiveness and plainness in the design of web documents is a difficult task. Validation languages are very powerful and designers are tempted to over-design specific...