Sciweavers

395 search results - page 7 / 79
» Decision Problems for Convex Languages
Sort
View
IFIP
2010
Springer
13 years 6 months ago
Improving Decision Quality Through Preference Relaxation
In online shopping scenarios, it can be difficult for consumers to process the vast amounts of information available and to make satisfactory buying decisions. Interactive decision...
Maciej Dabrowski, Thomas Acton
CDC
2009
IEEE
155views Control Systems» more  CDC 2009»
13 years 11 months ago
Efficient and robust communication topologies for distributed decision making in networked systems
Distributed decision making in networked systems depends critically on the timely availability of critical fresh information. Performance of networked systems, from the perspective...
John S. Baras, Pedram Hovareshti
FORMATS
2006
Springer
13 years 11 months ago
Undecidable Problems About Timed Automata
We solve some decision problems for timed automata which were raised by S. Tripakis in [Tri04] and by E. Asarin in [Asa04]. In particular, we show that one cannot decide whether a ...
Olivier Finkel
JAR
2007
90views more  JAR 2007»
13 years 7 months ago
A Tableau Decision Procedure for SHOIQ
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be...
Ian Horrocks, Ulrike Sattler
NIPS
2001
13 years 8 months ago
Minimax Probability Machine
When constructing a classifier, the probability of correct classification of future data points should be maximized. In the current paper this desideratum is translated in a very ...
Gert R. G. Lanckriet, Laurent El Ghaoui, Chiranjib...