Search Sciweavers | Sciweavers

26

CAV
2012
Springer

222views Hardware» more CAV 2012»

OpenNWA: A Nested-Word Automaton Library

11 years 10 months ago

Nested-word automata (NWAs) are a language formalism that helps bridge the gap between ﬁnite-state automata and pushdown automata. NWAs can express some context-free properties, ...

Evan Driscoll, Aditya V. Thakur, Thomas W. Reps

claim paper

Read More »

25

click to vote

JMLR
2010

141views more JMLR 2010»

FastInf: An Efficient Approximate Inference Library

13 years 2 months ago

Download jmlr.csail.mit.edu

The FastInf C++ library is designed to perform memory and time efficient approximate inference in large-scale discrete undirected graphical models. The focus of the library is pro...

Ariel Jaimovich, Ofer Meshi, Ian McGraw, Gal Elida...

claim paper

Read More »

28

click to vote

DL
2000
Springer

142views Digital Library» more DL 2000»

Growth and server availability of the NCSTRL digital library

13 years 12 months ago

Download www.cs.virginia.edu

This paper reports on measurements of the NCSTRL digital library taken over a two-year period. We report the growth of the system along two dimensions: number of participating ins...

Allison L. Powell, James C. French

claim paper

Read More »

72

click to vote

Book

336views

C++: A Dialog

15 years 4 months ago

Download www.steveheller.com

"Assuming that you want to learn C++, why should you read this book rather than any of dozens of other introductory C++ books? One difference between this book and other intro...

Steve Heller

posted by scimaster

Read More »

19

click to vote

DL
1999
Springer

104views Digital Library» more DL 1999»

Introducing a Digital Library Reading Appliance into a Reading Group

13 years 12 months ago

Download www.csdl.tamu.edu

Catherine C. Marshall, Morgan N. Price, Gene Golov...

claim paper