Search Sciweavers | Sciweavers

15254 search results - page 183 / 3051

» A k

151

click to vote

KDD
2001
ACM

150views Data Mining» more KDD 2001»

Mining top-n local outliers in large databases

15 years 11 months ago

Download www.cs.uiuc.edu

Wen Jin, Anthony K. H. Tung, Jiawei Han

claim paper

Read More »

144

click to vote

SAS
2001
Springer

151views Formal Methods» more SAS 2001»

A Behavioral Module System for the Pi-Calculus

15 years 11 months ago

Download www.cs.ucla.edu

Sriram K. Rajamani, Jakob Rehof

claim paper

Read More »

152

click to vote

TACAS
2001
Springer

96views Algorithms» more TACAS 2001»

Boolean and Cartesian Abstraction for Model Checking C Programs

15 years 11 months ago

Download www.inf.uni-konstanz.de

Thomas Ball, Andreas Podelski, Sriram K. Rajamani

claim paper

Read More »

click to vote

VLDB
2001
ACM

78views Database» more VLDB 2001»

Ontology-based Support for Digital Government

15 years 11 months ago

Download www.vldb.org

Athman Bouguettaya, Ahmed K. Elmagarmid, Brahim Me...

claim paper

Read More »

157

click to vote

ACSC
2000
IEEE

144views Theoretical Computer Science» more ACSC 2000»

Facilitating Learning in Advanced Computer Architecture through Appropriate Simulation

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers