10870 search results - page 2033 / 2174 » Model Checking Programs |
105
click to vote
LREC
2008
15 years 3 months ago
2008
To achieve true interoperability for valuable linguistic resources different levels of variation need to be addressed. ISO Technical Committee 37, Terminology and other language a...
91
Voted
IJCAI
2007
15 years 3 months ago
2007
Mechanism design is the study of preference aggregation protocols that work well in the face of self-interested agents. We present the first general-purpose techniques for automa...
115
click to vote
NIPS
2008
15 years 3 months ago
2008
We propose a new class of consistency constraints for Linear Programming (LP) relaxations for finding the most probable (MAP) configuration in graphical models. Usual cluster-base...
109
click to vote
NIPS
2008
15 years 3 months ago
2008
We consider the problem of multiple kernel learning (MKL), which can be formulated as a convex-concave problem. In the past, two efficient methods, i.e., Semi-Infinite Linear Prog...
128
click to vote
ISCAPDCS
2007
15 years 3 months ago
2007
Current research in autonomic computing suffers from the lack of a common definition of the basic autonomic entities. Defining and developing the basic autonomic entities and maki...