6020 search results - page 69 / 1204 » A New Approach to Model Counting |
127
Voted
IGPL
2010
15 years 2 months ago
2010
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence network...
127
Voted
PG
2007
IEEE
15 years 10 months ago
2007
IEEE
We describe a new algorithm for the visualisation of implicit algebraic curves, which isolates the singular points, compute the topological degree around these points in order to ...
132
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We describe a new approach for rescoring speech lattices — with long-span language models or wide-context acoustic models — that does not entail computationally intensive latt...
132
Voted
PPPJ
2004
ACM
15 years 9 months ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...
136
Voted
ICIAP
2009
ACM
16 years 4 months ago
2009
ACM
Abstract. Score functions induced by generative models extract fixeddimensions feature vectors from different-length data observations by subsuming the process of data generation, ...