Sciweavers

19 search results - page 2 / 4
» sara 2000
Sort
View
67
Voted
DGCI
2000
Springer
15 years 4 months ago
An Algorithm for Reconstructing Special Lattice Sets from Their Approximate X-Rays
Sara Brunetti, Alain Daurat, Alberto Del Lungo
JSYML
2000
77views more  JSYML 2000»
14 years 12 months ago
Formal Topologies on The Set of First-Order Formulae
Thierry Coquand, Sara Sadocco, Giovanni Sambin, Ja...
CHI
2000
ACM
15 years 4 months ago
Anchored conversations: chatting in the context of a document
Elizabeth F. Churchill, Jonathan Trevor, Sara A. B...
88
Voted
SARA
2000
Springer
15 years 3 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