Sciweavers

3318 search results - page 131 / 664
» The Weak Instance Model
Sort
View
JAIR
2007
95views more  JAIR 2007»
13 years 8 months ago
Consistency and Random Constraint Satisfaction Models
In this paper, we study the possibility of designing non-trivial random CSP models by exploiting the intrinsic connection between structures and typical-case hardness. We show tha...
Yong Gao, Joseph C. Culberson
COR
2011
13 years 3 months ago
MIP models for connected facility location: A theoretical and computational study
This article comprises the first theoretical and computational study on mixed integer programming (MIP) models for the connected facility location problem (ConFL). ConFL combines...
Stefan Gollowitzer, Ivana Ljubic
SEAFOOD
2007
Springer
14 years 2 months ago
An Evaluation Method for Offshore Software Development by Structural Equation Modeling
Abstract. To determine the magnitude of risk factors in offshore software development, we explain how structural equation modeling works for questionnaire samples. Each response to...
Yoshihisa Wada, Daiki Nakahigashi, Hiroshi Tsuji
CSFW
1998
IEEE
14 years 11 days ago
Proving Security Protocols with Model Checkers by Data Independence Techniques
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....
A. W. Roscoe
NIPS
2004
13 years 9 months ago
Co-Validation: Using Model Disagreement on Unlabeled Data to Validate Classification Algorithms
In the context of binary classification, we define disagreement as a measure of how often two independently-trained models differ in their classification of unlabeled data. We exp...
Omid Madani, David M. Pennock, Gary William Flake