6020 search results - page 142 / 1204 » A New Approach to Model Counting |
130
click to vote
SAC
2002
ACM
15 years 3 months ago
2002
ACM
Event-based systems are developed and used as a coordination model to integrate components in loosely coupled systems. Research and product development focused so far on efficienc...
129
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
This paper presents a new method to compute the probability distribution of the delay of a combinational circuit and uses it obtain an estimate of the yield of the process that ma...
118
click to vote
IDEAL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The importance of modularity in product innovation is analyzed in this paper. Through simulations with an agent-based modular economic model, we examine the significance...
139
click to vote
FSKD
2007
Springer
15 years 5 months ago
2007
Springer
A new type of database anomaly is described by addressing the concept of Cumulated Anomaly in this paper. Dubiety-Determining Model (DDM), which is a detection model basing on sta...
147
Voted
ACL
2009
15 years 1 months ago
2009
This paper presents a predicate-argument structure analysis that simultaneously conducts zero-anaphora resolution. By adding noun phrases as candidate arguments that are not only ...