233 search results - page 9 / 47 » Efficient Combination of Decision Procedures for MUS Computa... |
ICCV
2009
IEEE
13 years 5 months ago
2009
IEEE
In this work, we present a technique for robust estimation, which by explicitly incorporating the inherent uncertainty of the estimation procedure, results in a more efficient rob...
WCNC
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract—Hierarchical macro/femto-cell networks are considered as a promising technology for the improvement of indoor coverage and network capacity. In these emerging networks, ...
UAI
2001
13 years 9 months ago
2001
We propose a directed graphical representation of utility functions, called UCP-networks, that combines aspects of two existing preference models: generalized additive models and ...
JMLR
2002
13 years 7 months ago
2002
A fundamental open problem in computational learning theory is whether there is an attribute efficient learning algorithm for the concept class of decision lists (Rivest, 1987; Bl...
JAPLL
2010
13 years 2 months ago
2010
We present a decision procedure for hybrid logic equipped with nominals, the satisfaction operator and existential, difference, converse, reflexive, symmetric and transitive modal...