21319 search results - page 182 / 4264 » An Approach for Method Reengineering |
125
Voted
SSDBM
2008
IEEE
15 years 10 months ago
2008
IEEE
We propose an automatic method for modeling a relational database that uses SQL triggers and foreign-keys to efficiently answer positive semantic queries about ground instances for...
127
Voted
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
— Current approaches to the visual homing for mobile robot navigation are generally inspired in insects’ behavior and based on the observed angular information of fixed points...
148
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— One of the principal guidelines in the design of haptic devices is to provide a suitable mechanical design that can improve control performance and the force-feedback fidelity...
141
Voted
WETICE
2005
IEEE
15 years 9 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
125
Voted
IMC
2005
ACM
15 years 9 months ago
2005
ACM
Sketch is a sublinear space data structure that allows one to approximately reconstruct the value associated with any given key in an input data stream. It is the basis for answer...