11321 search results - page 368 / 2265 » Improvements to Turing's method |
176
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The use of visual information derived from accurate lip extraction, can provide features invariant to noise perturbation for speech recognition systems and can be also used in a w...
157
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.
153
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Many systems provide the user with a limited viewport of a larger graphical workspace. In these systems, the user often needs to find and select targets that are in the workspace,...
176
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— Several recently-designed robots are able to scale steep surfaces using animal-inspired strategies for foot attachment and leg kinematics. These designs could be valuable for r...
200
click to vote
SAT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...