2719 search results - page 489 / 544 » Exposing Application Alternatives |
174
click to vote
ICCAD
2001
IEEE
16 years 2 months ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...
140
click to vote
SOSP
2001
ACM
16 years 2 months ago
2001
ACM
A Resilient Overlay Network (RON) is an architecture that allows distributed Internet applications to detect and recover from path outages and periods of degraded performance with...
136
click to vote
CSIE
2009
IEEE
16 years 6 days ago
2009
IEEE
— Automated DNA sequencing produces a large amount of raw DNA sequence data that then needs to be classified, organized, and annotation. One major application is the comparison o...
134
click to vote
ICRA
2009
IEEE
16 years 3 days ago
2009
IEEE
— Recent applications of robotics often demand two types of spatial awareness: 1) A fine-grained description of the robot’s immediate surroundings for obstacle avoidance and p...
171
click to vote
IROS
2009
IEEE
16 years 2 days ago
2009
IEEE
— Gas distribution modelling constitutes an ideal application area for mobile robots, which – as intelligent mobile gas sensors – offer several advantages compared to station...