2542 search results - page 100 / 509 » One step ahead |
143
click to vote
MHCI
2009
Springer
16 years 27 days ago
2009
Springer
We present a technique in which physical controls have both normal and voice-enabled activation styles. In the case of the latter, knowledge of which physical control was activate...
167
click to vote
RTA
2009
Springer
16 years 26 days ago
2009
Springer
Most techniques to automatically disprove termination of term rewrite systems search for a loop. Whereas a loop implies nontermination for full rewriting, this is not necessarily t...
133
click to vote
CEC
2008
IEEE
16 years 24 days ago
2008
IEEE
—Crossover forms one of the core operations in genetic programming and has been the subject of many different investigations. We present a novel technique, based on semantic anal...
183
click to vote
ICPR
2008
IEEE
16 years 23 days ago
2008
IEEE
Object recognition forms a ubiquitous problem in digital image processing. The detection of robust image features of high distinctiveness is one important key in this regard. We p...
154
click to vote
IROS
2007
IEEE
16 years 19 days ago
2007
IEEE
— Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its ...