2989 search results - page 400 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
128
click to vote
AAAI
2004
15 years 3 months ago
2004
Learning reusable sequences can support the development of expertise in many domains, either by improving decisionmaking quality or decreasing execution speed. This paper introduc...
133
Voted
TCS
2002
15 years 2 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
125
click to vote
ICCV
2007
IEEE
16 years 4 months ago
2007
IEEE
Ricci flow is a powerful curvature flow method in geometric analysis. This work is the first application of surface Ricci flow in computer vision. We show that previous methods ba...
105
click to vote
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
We propose to introduce redundant interconnects for manufacturing yield and reliability improvement. By introducing redundant interconnects, the potential for open faults is reduc...
136
Voted
IJRR
2000
15 years 2 months ago
2000
The inverse kinematics problem is formulated as a parameterized autonomous dynamical system problem, and respective analysis is carried out. It is shown that a singular point of w...