1948 search results - page 282 / 390 » Formalizing Mirror Theory |
274
click to vote
PLDI
2009
ACM
16 years 6 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
149
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
149
click to vote
KDD
2009
ACM
16 years 6 months ago
2009
ACM
Correlated or discriminative pattern mining is concerned with finding the highest scoring patterns w.r.t. a correlation measure (such as information gain). By reinterpreting corre...
175
click to vote
CHI
2006
ACM
16 years 5 months ago
2006
ACM
It has been well established in Cognitive Psychology that humans are able to strategically adapt performance, even highly skilled performance, to meet explicit task goals such as ...
128
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
We explore the concept of social landmarks in complex, shared information and coordination environments. Previous research in navigation and shared spaces has tended to emphasize ...