9425 search results - page 470 / 1885 » Some Notes on Models and Modelling |
142
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
The DPLL procedure is the basis of some of the most successful propositional satisfiability solvers to date. Although originally devised as a proofprocedure for first-order logic, ...
154
Voted
LATA
2010
Springer
16 years 29 days ago
2010
Springer
Abstract. Learnability is a vital property of formal grammars: representation classes should be defined in such a way that they are learnable. One way to build learnable represent...
170
click to vote
ICLP
2009
Springer
16 years 28 days ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
152
click to vote
ICASSP
2009
IEEE
16 years 27 days ago
2009
IEEE
The estimation of the impulse response (IR) of a propagation channel is necessary for a large number of acoustic applications: underwater communication, detection and localization...
202
Voted
MOMPES
2009
IEEE
16 years 23 days ago
2009
IEEE
For embedded systems quality requirements are equally if not even more important than functional requirements. The foundation for the fulfillment of these quality requirements ha...