7988 search results - page 374 / 1598 » A Useful Undecidable Theory |
191
Voted
HICSS
2003
IEEE
16 years 2 days ago
2003
IEEE
In the challenges faced by organisations in the area of knowledge management, there is clearly a role for information and communications technologies in supporting the exploitatio...
174
click to vote
GW
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents gesture analysis under the scope of motor control theory. Following the motor program view, some studies have revealed a number of invariant features that chara...
190
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a metric based on information theory principles that compares 3D object models to images. The metric is based on the formulation of the mutual information betw...
168
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
We present a novel approach to automatic synthesis of loopfree programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synth...
168
click to vote
MKM
2009
Springer
15 years 11 months ago
2009
Springer
Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing, in which an object of interest is viewed in terms of ...