1541 search results - page 305 / 309 » Tools and Techniques for Model Checking Networked Programs |
99
Voted
STOC
2004
ACM
16 years 19 days ago
2004
ACM
We present a probabilistic analysis for a large class of combinatorial optimization problems containing, e.g., all binary optimization problems defined by linear constraints and a...
106
click to vote
DAGSTUHL
2007
15 years 1 months ago
2007
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
104
click to vote
JCB
2006
15 years 9 days ago
2006
A commonly used tool in disease association studies is the search for discrepancies between the haplotype distribution in the case and control populations. In order to find this d...
97
Voted
IPCCC
2006
IEEE
15 years 6 months ago
2006
IEEE
In recent years, malicious software (malware) has become one of the most insidious threats in computer security. However, this is arguably not the result of increased sophisticati...
118
Voted
AI
2010
Springer
15 years 14 days ago
2010
Springer
The Valued Constraint Satisfaction Problem (VCSP) is a generic optimization problem defined by a network of local cost functions defined over discrete variables. It has applicatio...