Search Sciweavers | Sciweavers

39

AIA
2006

124views Artificial Intelligence» more AIA 2006»

Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT

13 years 10 months ago

Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...

Benno Stein, Oliver Niggemann, Theodor Lettmann

claim paper

Read More »

32

click to vote

DAGSTUHL
2006

129views Software Engineering» more DAGSTUHL 2006»

Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting

13 years 10 months ago

Download drops.dagstuhl.de

ed Abstract Membrane systems are models of computation inspired by the structure and the function of biological cells. The model was introduced in 1998 by Gh. Paun and since then m...

Matteo Cavaliere, Sean Sedwards

claim paper

Read More »

38

click to vote

ESANN
2004

169views Neural Networks» more ESANN 2004»

Sparse LS-SVMs using additive regularization with a penalized validation criterion

13 years 10 months ago

Download www.dice.ucl.ac.be

This paper is based on a new way for determining the regularization trade-off in least squares support vector machines (LS-SVMs) via a mechanism of additive regularization which ha...

Kristiaan Pelckmans, Johan A. K. Suykens, Bart De ...

claim paper

Read More »

26

click to vote

FLAIRS
2004

111views Artificial Intelligence» more FLAIRS 2004»

Physical Approximations for Urban Fire Spread Simulations

13 years 10 months ago

Download www.aaai.org

The issue of fire propagation in cities is of obvious importance to Civil Authorities, but does present issues of computational complexity. Our basic assumption is that some event...

Daniel J. Bertinshaw, Hans W. Guesgen

claim paper

Read More »

34

click to vote

EACL
2006
ACL Anthology

138views Natural Language Processing» more EACL 2006»

Unifying Synchronous Tree Adjoining Grammars and Tree Transducers via Bimorphisms

13 years 10 months ago

Download www.eecs.harvard.edu

We place synchronous tree-adjoining grammars and tree transducers in the single overarching framework of bimorphisms, continuing the unification of synchronous grammars and tree t...

Stuart M. Shieber

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers