5550 search results - page 546 / 1110 » Different Approaches to Proof Systems |
203
click to vote
EDOC
2006
IEEE
16 years 1 months ago
2006
IEEE
When building enterprise applications that need to be accessed through a variety of client devices, developers usually strive to implement most of the business logic device-indepen...
186
click to vote
ICDCSW
2006
IEEE
16 years 1 months ago
2006
IEEE
Business-to-business (B2B) data exchange and integration is a common daily operation in today’s organizations. These operations are crucial since they affect organizations’ ca...
173
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Decision trees, being human readable and hierarchically structured, provide a suitable mean to derive state-space abstraction and simplify the inclusion of the availabl...
170
click to vote
ICCV
2005
IEEE
16 years 1 months ago
2005
IEEE
Photometric stereo is a fundamental approach in Computer Vision. At its core lies a set of image irradiance equations each taken with a different illumination. The vast majority o...
191
click to vote
ICRA
2005
IEEE
16 years 1 months ago
2005
IEEE
— We report on progress toward a continuous time full 6 DOF translational body state estimator for a hexapod robot executing a jogging gait (with 4 consecutive phases: tripod sta...