4372 search results - page 148 / 875 » Algorithmic Theories of Everything |
73
Voted
MOC
2000
15 years 15 days ago
2000
Resolutions of cusp singularities are crucial to many techniques in computational number theory, and therefore finding explicit resolutions of these singularities has been the focu...
119
Voted
SIGCSE
2002
ACM
15 years 11 days ago
2002
ACM
This paper will present the Interactive Pushdown Automata Animation for use in an Automata Theory class. It will present the features of the IPAA as well as the algorithm and data...
79
Voted
SIGMOD
2008
ACM
15 years 5 days ago
2008
ACM
Jim Gray spent a decade as a student and researcher at Berkeley. In action, he is remembered for his breath, his depth, and his generosity. Categories and Subject Descriptors K.1 ...
77
Voted
IJCAI
2001
15 years 2 months ago
2001
This paper describes SiN, a novel case-based planning algorithm that combines conversational case retrieval with generative planning. SiN is provably correct, and can generate pla...
87
Voted
EJC
2010
15 years 24 days ago
2010
We introduce the idea of Assur graphs, a concept originally developed and exclusively employed in the literature of the kinematics community. The paper translates the terminology,...