6020 search results - page 94 / 1204 » A New Approach to Model Counting |
132
Voted
ISVC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper a new extension of the CONDENSATION algorithm, with application to infants face tracking, will be introduced. In this work we address the problem of trackin...
150
Voted
OTM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Modeling and managing business processes that span multiple organizations involves new challenges, mainly regarding the ability to cope with change, decentralization, and...
141
Voted
CISIS
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
142
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Statistical dependencies among wavelet coefficients are commonly represented by graphical models such as hidden Markov trees (HMTs). However, in linear inverse problems such as d...
120
click to vote
CIT
2007
Springer
15 years 7 months ago
2007
Springer
Existing approaches on reliability assessment of the system have limitations such as performance entirely depends on expertise, knowledge of system analysts and computation of usa...