11436 search results - page 1786 / 2288 » Modeling Real Reasoning |
198
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
We consider a near future scenario in which users of a Web 2.0 application, such as a social network, contribute to the application not only data, but also rules which automatical...
215
click to vote
3DIM
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we report on recent extensions to a surface matching algorithm based on local 3-D signatures. This algorithm was previously shown to be effective in view registrati...
239
click to vote
STACS
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We consider dynamic evaluation of algebraic functions (matrix multiplication, determinant, convolution, Fourier transform, etc.) in the model of Reif and Tate; i.e., if f...
240
click to vote
AIED
2007
Springer
15 years 11 months ago
2007
Springer
COLLECT-UML is a collaborative constraint-based tutor for teaching object-oriented analysis and design using Unified Modelling Language. It is the first system in the family of con...
193
click to vote
ASPLOS
2008
ACM
15 years 9 months ago
2008
ACM
Recently, the number of cores on general-purpose processors has been increasing rapidly. Using conventional programming models, it is challenging to effectively exploit these core...