6020 search results - page 633 / 1204 » A New Approach to Model Counting |
194
Voted
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
The concept of the Virtual Software Corporation (VSC) has recently become a practical reality as a result of advances in communication and distributed technologies. However, there...
212
click to vote
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
277
Voted
ICDAR
2009
IEEE
15 years 5 months ago
2009
IEEE
The paper describes a new approach using a Conditional Random Fields (CRFs) to extract physical and logical layouts in unconstrained handwritten letters such as those sent by indi...
263
click to vote
PE
2011
Springer
15 years 1 months ago
2011
Springer
We introduce a new solution technique for closed product-form queueing networks that generalizes the Method of Moments (MoM), a recently proposed exact algorithm that is several o...
254
Voted
PAMI
2012
13 years 9 months ago
2012
—We introduce an efficient maximum likelihood approach for one part of the color constancy problem: removing from an image the color cast caused by the spectral distribution of ...