Search Sciweavers | Sciweavers

9888 search results - page 97 / 1978

» compute 2009

120

click to vote

FSTTCS
2009
Springer

113views Software Engineering» more FSTTCS 2009»

Deductive Verification of Continuous Dynamical Systems

16 years 9 days ago

Download www-cs-students.stanford.edu

Ankur Taly, Ashish Tiwari

claim paper

Read More »

127

click to vote

HICSS
2009
IEEE

114views Biometrics» more HICSS 2009»

GrayWulf: Scalable Clustered Architecture for Data Intensive Computing

16 years 17 days ago

Download hssl.cs.jhu.edu

Alexander S. Szalay, Gordon Bell, Jan vandenBerg, ...

claim paper

Read More »

click to vote

KDD
2009
ACM

158views Data Mining» more KDD 2009»

KissKissBan: a competitive human computation game for image annotation

16 years 15 days ago

Download mmnet.iis.sinica.edu.tw

Chien-Ju Ho, Tao-Hsuan Chang, Jong-Chuan Lee, Jane...

claim paper

Read More »

110

click to vote

FMCAD
2009
Springer

110views Formal Methods» more FMCAD 2009»

Structure-aware computation of predicate abstraction

16 years 9 days ago

Download fmv.jku.at

cate abstraction A. Cimatti, J. Dubrovin, T. Junttila, M. Roveri Fondazione Bruno Kessler, Trento, Italy Helsinki Institute of Technology, Finland

Alessandro Cimatti, Jori Dubrovin, Tommi A. Juntti...

claim paper

Read More »

147

click to vote

CIDM
2009
IEEE

110views Artificial Intelligence» more CIDM 2009»

Faster computation of the direct product kernel for graph classification

15 years 9 months ago

Download www.eecs.wsu.edu

The direct product kernel, introduced by G

Nikhil S. Ketkar, Lawrence B. Holder, Diane J. Coo...

claim paper

Read More »

« Prev « First page 97 / 1978 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers