Sciweavers

6582 search results - page 52 / 1317
» The focus of attention problem
Sort
View
102
Voted
RTA
2009
Springer
15 years 7 months ago
VMTL-A Modular Termination Laboratory
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
Felix Schernhammer, Bernhard Gramlich
91
Voted
ICPR
2008
IEEE
15 years 7 months ago
MCS-based balancing techniques for skewed classes: An empirical comparison
The class imbalance is a critical problem in classification tasks related to many real world applications. A large number of solutions were proposed in literature, both at the al...
Maria Teresa Ricamato, Claudio Marrocco, Francesco...
98
Voted
ICTAI
2008
IEEE
15 years 7 months ago
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses
These last years, the issue of locating and explaining contradictions inside sets of propositional clauses has received a renewed attention due to the emergence of very efficient...
Éric Grégoire, Bertrand Mazure, C&ea...
84
Voted
DATE
2006
IEEE
110views Hardware» more  DATE 2006»
15 years 6 months ago
Online energy-aware I/O device scheduling for hard real-time systems
Much research has focused on power conservation for the processor, while power conservation for I/O devices has received little attention. In this paper, we analyze the problem of...
Hui Cheng, Steve Goddard
QSIC
2006
IEEE
15 years 6 months ago
Control-Flow Analysis and Representation for Aspect-Oriented Programs
Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design and implementation. The field of AOP has, so far, f...
Jianjun Zhao