206 search results - page 18 / 42 » On the numbers of variables to represent sparse logic functi... |
176
click to vote
IICAI
2007
15 years 8 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
193
click to vote
HASKELL
2006
ACM
16 years 19 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
201
click to vote
TRS
2008
15 years 6 months ago
2008
A popular view is that the brain works in a similar way to a digital computer or a Universal Turing Machine by processing symbols. Psychophysical experiments and our amazing capabi...
159
click to vote
CVIU
2007
15 years 6 months ago
2007
This article proposes a generative image model, which is called ‘‘primal sketch,’’ following Marr’s insight and terminology. This model combines two prominent classes of...
183
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
Ultraprecision turning is a manufacturing process used to generate a high surface roughness in precision components, and its input-output relationships are highly nonlinear. Surfa...