Search Sciweavers | Sciweavers

14379 search results - page 237 / 2876

» is 2000

155

click to vote

CIKM
2000
Springer

102views Information Technology» more CIKM 2000»

A Comparative Study of Log-Only and In-Place Update Based Temporal Object Database Systems

15 years 11 months ago

Download www.idi.ntnu.no

Kjetil Nørvåg

claim paper

Read More »

149

Voted

CIKM
2000
Springer

86views Information Technology» more CIKM 2000»

Supporting Subseries Nearest Neighbor Search via Approximation

15 years 11 months ago

Download www.cs.uvm.edu

Ë Ö Ò ÓÖ Ò Ö ×Ø Ò ÓÖ× Ò Ð Ö × Ø Ó Ø Ñ × Ö × × Ò ÑÔÓÖØ ÒØ Ø Ñ Ò Ò Ø × º Ì × Ô Ô Ö ×ØÙ × Ø ÓÐ¹ ÐÓÛ Ò ØÝÔ Ó Ø Ñ × Ö �...

Changzhou Wang, Xiaoyang Sean Wang

claim paper

Read More »

132

click to vote

CL
2000
Springer

106views Automated Reasoning» more CL 2000»

AVAL: An Enumerative Method for SAT

15 years 11 months ago

Download www.cril.univ-artois.fr

Gilles Audemard, Belaid Benhamou, Pierre Siegel

claim paper

Read More »

154

click to vote

CL
2000
Springer

104views Automated Reasoning» more CL 2000»

Perfect Model Checking via Unfold/Fold Transformations

15 years 11 months ago

Download www.dsi.unive.it

Alberto Pettorossi, Maurizio Proietti

claim paper

Read More »

155

click to vote

CL
2000
Springer

111views Automated Reasoning» more CL 2000»

Computational Logic: Memories of the Past and Challenges for the Future

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers