6020 search results - page 425 / 1204 » A New Approach to Model Counting |
163
click to vote
SSPR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this paper, we propose a method for recognizing architectural symbols. The method is based on the description of the model through a set of constraints on geometrical ...
162
click to vote
ECIS
2001
15 years 8 months ago
2001
This paper introduces a new approach to draw up business competencies as well as to facilitate their exchange and diffusion through an e-marketplace. The business model and a view...
202
click to vote
ISCAPDCS
2004
15 years 8 months ago
2004
This paper presents a new protocol for ensuring sequential consistency in a distributed objects system. The protocol is efficient and simple. In addition to providing a high-level...
189
click to vote
TREC
2004
15 years 8 months ago
2004
This paper describes the experiments of the State University of New York at Buffalo in TREC 13. We participated in the Genomics track and submitted official runs to the Adhoc retri...
132
click to vote
MSCS
2008
15 years 6 months ago
2008
We model micro-architectures with non-pipelined instruction processing and pipelined instruction processing, using Maurer machines, basic thread algebra and program algebra. We sho...