Search Sciweavers | Sciweavers

5423 search results - page 120 / 1085

» Denial-of-service in automation systems

159

click to vote

PROCEDIA
2010

85views more PROCEDIA 2010»

Toward interactive statistical modeling

15 years 4 months ago

Download vuduc.org

When solving machine learning problems, there is currently little automated support for easily experimenting with alternative statistical models or solution strategies. This is be...

Sooraj Bhat, Ashish Agarwal, Alexander Gray, Richa...

claim paper

Read More »

251

click to vote

ICLP
2009
Springer

134views Automated Reasoning» more ICLP 2009»

A Knowledge Base System Project for FO(.)

16 years 7 months ago

Download www.cs.kuleuven.ac.be

Marc Denecker

claim paper

Read More »

146

click to vote

CADE
2002
Springer

144views Logical Reasoning» more CADE 2002»

System Description: GrAnDe 1.0

16 years 6 months ago

Download www.cs.miami.edu

Stephan Schulz, Geoff Sutcliffe

claim paper

Read More »

100

click to vote

DAC
2000
ACM

102views Computer Architecture» more DAC 2000»

Bus encoding for low-power high-performance memory systems

16 years 7 months ago

Download elpl.snu.ac.kr

Naehyuck Chang, Kwanho Kim, Jinsung Cho

claim paper

Read More »

155

click to vote

DAC
2003
ACM

100views Computer Architecture» more DAC 2003»

How to make efficient communication, collaboration, and optimization from system to chip

16 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers