7988 search results - page 374 / 1598 » A Useful Undecidable Theory |
223
click to vote
HICSS
2003
IEEE
16 years 27 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...
195
click to vote
GW
2003
Springer
16 years 24 days 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...
207
click to vote
ICPR
2002
IEEE
16 years 16 days 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...
197
click to vote
ICSE
2010
IEEE-ACM
16 years 12 days 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...
178
click to vote
MKM
2009
Springer
16 years 5 days 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 ...