Sciweavers

1730 search results - page 31 / 346

» Algebra and Computation

15

ITS
2004
Springer

92views Multimedia» more ITS 2004»

Evaluating Dialogue Schemata with the Wizard of Oz Computer-Assisted Algebra Tutor

14 years 29 days ago

Evaluating Dialogue Schemata with the Wizard of Oz Computer-Assisted Algebra Tutor

Download www.mglass.org

Jung Hee Kim, Michael Glass

claim paper

Read More »

21

PODS
2010
ACM

163views Database» more PODS 2010»

Computing query probability with incidence algebras

14 years 20 days ago

Computing query probability with incidence algebras

Download www.cs.washington.edu

Nilesh N. Dalvi, Karl Schnaitter, Dan Suciu

claim paper

Read More »

22

MKM
2009
Springer

98views Information Technology» more MKM 2009»

Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems

14 years 4 days ago

Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems

Download www.unirioja.es

Jónathan Heras, Vico Pascual, Julio Rubio

claim paper

Read More »

23

AAECC
1991
Springer

109views Algorithms» more AAECC 1991»

Computing Roadmaps of General Semi-Algebraic Sets

13 years 11 months ago

Computing Roadmaps of General Semi-Algebraic Sets

Download www.cs.berkeley.edu

John F. Canny

claim paper

Read More »

17

DAGSTUHL
2007

96views Software Engineering» more DAGSTUHL 2007»

07411 Abstracts Collection -- Algebraic Methods in Computational Complexity

13 years 9 months ago

07411 Abstracts Collection -- Algebraic Methods in Computational Complexity

Download drops.dagstuhl.de

Manindra Agrawal, Harry Buhrman, Lance Fortnow, Th...

claim paper

Read More »

« Prev « First page 31 / 346 Last » Next »