3082 search results - page 311 / 617 » Deviation Analysis: A New Use of Model Checking |
172
click to vote
HT
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents the analysis and modelling of the literature of hypertext based on the ACM Hypertext conference series. This work explores a new paradigm of organising and acc...
202
click to vote
IWPC
2010
IEEE
15 years 5 months ago
2010
IEEE
—Data fusion is the process of integrating multiple sources of information such that their combination yields better results than if the data sources are used individually. This ...
167
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
— We analyze the susceptibility of the Internet to random faults, malicious attacks, and mixtures of faults and attacks. We analyze actual Internet data, as well as simulated dat...
193
click to vote
AAAI
2006
15 years 8 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
168
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— We prove that the number of Pareto-optimal solutions in any multiobjective binary optimization problem with a finite number of linear objective functions is polynomial...