6020 search results - page 1130 / 1204 » A New Approach to Model Counting |
154
click to vote
SIGMOD
2000
ACM
15 years 8 months ago
2000
ACM
Continuous queries are persistent queries that allow users to receive new results when they become available. While continuous query systems can transform a passive web into an ac...
127
click to vote
STOC
1997
ACM
15 years 8 months ago
1997
ACM
For a large class of examples arising in statistical physics known as attractive spin systems (e.g., the Ising model), one seeks to sample from a probability distribution π on an...
124
click to vote
UIST
1993
ACM
15 years 8 months ago
1993
ACM
n support in a user interface toolkit: flexible, robust, and reusable abstractions SE Hudson, JT Stasko - 1993 - ACM Press New York, NY, USA 62 1992: Two-handed gesture in multi-mo...
139
click to vote
HPCN
2000
Springer
15 years 8 months ago
2000
Springer
The Java programming language and environment is stimulating new research activities in many areas of computing, not the least of which is parallel computing. Parallel techniques ...
158
click to vote
ECAL
1995
Springer
15 years 8 months ago
1995
Springer
Neither `design' nor `evolutionary' approaches to building behavior-based robots feature a role for development in the genesis of behavioral organization. However, the n...