3690 search results - page 346 / 738 » Computation with classical sequents |
150
click to vote
ETFA
2005
IEEE
16 years 13 days ago
2005
IEEE
Today there is a significant body of results of resource management in real-time systems. However, most of them are based on "open-loop" strategies and techniques that do...
194
click to vote
ICDAR
2005
IEEE
16 years 13 days ago
2005
IEEE
Document recognition involves many kinds of hypotheses: segmentation hypotheses, classification hypotheses, spatial relationship hypotheses, and so on. Many recognition strategie...
175
click to vote
ICRA
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract— In the context of virtualized reality based telemicromanipulation, we present in this paper a visual calibration technique for optical microscope coupled with a CCD cam...
181
click to vote
WIOPT
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper evaluates a self-organizing routing protocol for Ad Hoc network, called the NEUron Routing ALgorithm (NEURAL). NEURAL has been designed taking into account the learning...
173
click to vote
UIST
2005
ACM
16 years 11 days ago
2005
ACM
Location information can be used to enhance interaction with mobile devices. While many location systems require instrumentation of the environment, we present a system that allow...