5550 search results - page 828 / 1110 » Different Approaches to Proof Systems |
178
Voted
IROS
2006
IEEE
16 years 25 days 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...
170
click to vote
DATE
2005
IEEE
16 years 13 days ago
2005
IEEE
- In this paper, a method is presented for finding a pixel transformation function that minimizes the backlight intensity while maintaining a pre-specified image distortion level f...
155
click to vote
AIED
2005
Springer
16 years 11 days ago
2005
Springer
Part of the motivation behind the evolution of learning environments is the idea of providing students with individualized instructional strategies that allow them to learn as much...
165
click to vote
IJCNLP
2004
Springer
16 years 5 days ago
2004
Springer
One problem seriously affecting CLIR performance is the processing of queries with embedded foreign names. A proper noun dictionary is never complete rendering name translation fr...
204
click to vote
SDMW
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Researchers have recently begun to develop and investigate policy languages to describe trust and security requirements on the Semantic Web. Such policies will be one com...