Sciweavers

1931 search results - page 174 / 387
» Why we blog
Sort
View
BIRTHDAY
2007
Springer
16 years 24 days ago
Generating Polynomial Invariants with DISCOVERER and QEPCAD
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...
Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan
CSCLP
2007
Springer
16 years 23 days ago
Preference-Based Problem Solving for Constraint Programming
Abstract. Combinatorial problems such as scheduling, resource allocation, and configuration have many attributes that can be subject of user preferences. Traditional optimization ...
Ulrich Junker
EUROITV
2007
Springer
16 years 23 days ago
Focusing on Elderly: An iTV Usability Evaluation Study with Eye-Tracking
Elderly people often experience difficulties using interactive TV. This paper presents the findings of a usability evaluation study in combination with eye-tracking conducted for a...
Marianna Obrist, Regina Bernhaupt, Elke Beck, Manf...
GECCO
2007
Springer
177views Optimization» more  GECCO 2007»
16 years 23 days ago
Evolutionary algorithms and matroid optimization problems
We analyze the performance of evolutionary algorithms on various matroid optimization problems that encompass a vast number of efficiently solvable as well as NP-hard combinatoria...
Joachim Reichel, Martin Skutella
PAKDD
2007
ACM
110views Data Mining» more  PAKDD 2007»
16 years 22 days ago
Combining Convolution Kernels Defined on Heterogeneous Sub-structures
Convolution kernels, constructed by convolution of sub-kernels defined on sub-structures of composite objects, are widely used in classification, where one important issue is to ch...
Minlie Huang, Xiaoyan Zhu