6020 search results - page 586 / 1204 » A New Approach to Model Counting |
190
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
The improved T and improved n models are proposed for onchip interconnect macromodeling. Using global approximations, simple approximation frames are derived and applied to modeli...
201
click to vote
EPIA
2007
Springer
16 years 1 months ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
171
click to vote
LREC
2008
15 years 8 months ago
2008
In this paper we present an overview on the development of a large vocabulary continuous speech recognition (LVCSR) system for Khmer, the official language of Cambodia, spoken by ...
185
click to vote
TKDD
2010
15 years 5 months ago
2010
Recommender systems provide users with personalized suggestions for products or services. These systems often rely on Collaborating Filtering (CF), where past transactions are ana...
205
click to vote
POS
1998
Springer
15 years 11 months ago
1998
Springer
Concurrency is a central pillar of the Java programming language, is implicit in the transactional model of computation adopted by most persistent systems, and has been widely stu...