6020 search results - page 856 / 1204 » A New Approach to Model Counting |
175
Voted
ISMIS
2005
Springer
16 years 5 days ago
2005
Springer
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...
161
click to vote
RISE
2005
Springer
16 years 4 days ago
2005
Springer
Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the...
177
click to vote
SAMOS
2005
Springer
16 years 4 days ago
2005
Springer
This paper presents a new tool for the automatic generation of highly parallelized Finite Impulse Response (FIR) filters. In this approach we follow our PARO design methodology. P...
188
click to vote
SERA
2005
Springer
16 years 4 days ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
168
click to vote
TSD
2005
Springer
16 years 4 days ago
2005
Springer
In this paper a new rule-based approach to break assignment for the Russian language is discussed. It is a flexible and robust method of segmentation of texts in Russian in prosod...