2000 search results - page 296 / 400 » The Dynamics of Syntactic Knowledge |
161
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
202
click to vote
KDD
2007
ACM
16 years 5 months ago
2007
ACM
Existing data-stream clustering algorithms such as CluStream are based on k-means. These clustering algorithms are incompetent to find clusters of arbitrary shapes and cannot hand...
160
click to vote
VLSID
2007
IEEE
16 years 5 months ago
2007
IEEE
We present minimization methodologies and an algorithm for simultaneous scheduling, binding, and allocation for the reduction of total power and power fluctuation during behaviora...
142
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
Context-aware applications are applications that implicitly take their context of use into account by adapting to changes in a user's activities and environments. No one has ...
293
click to vote
POPL
2002
ACM
16 years 5 months ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...