Sciweavers

19 search results - page 2 / 4
» sara 2000
Sort
View
JSYML
2000
77views more  JSYML 2000»
13 years 5 months ago
Formal Topologies on The Set of First-Order Formulae
Thierry Coquand, Sara Sadocco, Giovanni Sambin, Ja...
CHI
2000
ACM
13 years 10 months ago
Anchored conversations: chatting in the context of a document
Elizabeth F. Churchill, Jonathan Trevor, Sara A. B...
SARA
2000
Springer
13 years 9 months ago
Recent Progress in the Design and Analysis of Admissible Heuristic Functions
In the past several years, significant progress has been made in finding optimal solutions to combinatorial problems. In particular, random instances of both Rubik's Cube, wi...
Richard E. Korf