Sciweavers

2031 search results - page 220 / 407
» On Tree-Constrained Matchings and Generalizations
Sort
View
124
Voted
DSN
2011
IEEE
13 years 10 months ago
Communix: A framework for collaborative deadlock immunity
—We present Communix, a collaborative deadlock immunity framework for Java programs. Deadlock immunity enables applications to avoid deadlocks that they previously encountered. D...
Horatiu Jula, Pinar Tözün, George Candea
86
Voted
ICIP
2004
IEEE
16 years 15 days ago
Separating useful from useless image variation for face recognition
For a general purpose face recognition system one of the largest challenge is to separate useful identity related from useless variations in the image data due to nuisance variabl...
Peter Kalocsai
ALT
2008
Springer
15 years 7 months ago
Online Regret Bounds for Markov Decision Processes with Deterministic Transitions
Abstract. We consider an upper confidence bound algorithm for Markov decision processes (MDPs) with deterministic transitions. For this algorithm we derive upper bounds on the onl...
Ronald Ortner
ATAL
2009
Springer
15 years 5 months ago
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time
We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common an...
Valentin Goranko, Dmitry Shkatov
DEXAW
2007
IEEE
153views Database» more  DEXAW 2007»
15 years 5 months ago
Enhancing Ontology Concept Design by Knowledge Discovery
In this paper, we propose a knowledge discovery-based approach to ontology concept design. In our approach, concept design is a stepwise activity which exploits ontology matching ...
Silvana Castano, Alfio Ferrara