Sciweavers

1383 search results - page 199 / 277
» Directionally adaptive super-resolution
Sort
View
135
Voted
CAISE
2006
Springer
15 years 8 months ago
On Controlled Flexibility
Striking a balance between rigidity and flexibility is a central challenge in designing business processes. Striking this balance begins on the type level, because expressiveness ...
Signe Ellegård Borch, Christian Stefansen
163
Voted
ECAI
2004
Springer
15 years 8 months ago
Encoding Quantified CSPs as Quantified Boolean Formulae
Quantified Constraint Satisfaction Problems (QCSPs) are CSPs in which some variables are universally quantified. For each possible value of such variables, we have to find ways to ...
Ian P. Gent, Peter Nightingale, Andrew G. D. Rowle...
170
Voted
ECML
2004
Springer
15 years 8 months ago
Efficient Hyperkernel Learning Using Second-Order Cone Programming
The kernel function plays a central role in kernel methods. Most existing methods can only adapt the kernel parameters or the kernel matrix based on empirical data. Recently, Ong e...
Ivor W. Tsang, James T. Kwok
DAS
2006
Springer
15 years 8 months ago
Toward File Consolidation by Document Categorization
An efficient adaptive document classification and categorization approach is proposed for personal file creation corresponding to user's specific needs and profile. This kind ...
Abdel Belaïd, André Alusse
ECMDAFA
2006
Springer
107views Hardware» more  ECMDAFA 2006»
15 years 8 months ago
Mutation Analysis Testing for Model Transformations
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...
Jean-Marie Mottu, Benoit Baudry, Yves Le Traon