Sciweavers

CIDM
2009
IEEE
13 years 11 months ago
Clustering-based activity classification with a wrist-worn accelerometer using basic features
Abstract-- Automatic recognition of activities using time series data collected from exercise can facilitate development of applications that motivate people to exercise more frequ...
Pekka Siirtola, Perttu Laurinen, Eija Haapalainen,...
CIDM
2009
IEEE
13 years 11 months ago
Faster computation of the direct product kernel for graph classification
The direct product kernel, introduced by G
Nikhil S. Ketkar, Lawrence B. Holder, Diane J. Coo...
CIDM
2009
IEEE
13 years 11 months ago
Handling continuous attributes in Ant Colony Classification algorithms
Most real-world classification problems involve continuous (real-valued) attributes, as well as, nominal (discrete) attributes. The majority of Ant Colony Optimisation (ACO) classi...
Fernando E. B. Otero, Alex Alves Freitas, Colin G....
CP
2007
Springer
13 years 11 months ago
On Inconsistent Clause-Subsets for Max-SAT Solving
Recent research has focused on using the power of look-ahead to speed up the resolution of the Max-SAT problem. Indeed, look-ahead techniques such as Unit Propagation (UP) allow to...
Sylvain Darras, Gilles Dequen, Laure Devendeville,...
CP
2007
Springer
13 years 11 months ago
Exploring Different Constraint-Based Modelings for Program Verification
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
Hélène Collavizza, Michel Rueher
CP
2007
Springer
13 years 11 months ago
The Expressive Power of Valued Constraints: Hierarchies and Collapses
Abstract. In this paper we investigate the ways in which a fixed collection of valued constraints can be combined to express other valued constraints. We show that in some cases a ...
David A. Cohen, Peter Jeavons, Stanislav Zivn&yacu...
CP
2007
Springer
13 years 11 months ago
Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure
Abstract. Computing the minimal network (or minimal CSP) representation of a given set of constraints over the Point Algebra (PA) is a fundamental reasoning problem. In this paper ...
Alfonso Gerevini, Alessandro Saetti
CP
2007
Springer
13 years 11 months ago
Local Symmetry Breaking During Search in CSPs
Belaid Benhamou, Mohamed Réda Saïdi
SETN
2010
Springer
13 years 11 months ago
Genetic Algorithm Solution to Optimal Sizing Problem of Small Autonomous Hybrid Power Systems
The optimal sizing of a small autonomous hybrid power system can be a very challenging task, due to the large number of design settings and the uncertainty in key parameters. This ...
Yiannis A. Katsigiannis, Pavlos S. Georgilakis, Em...
CCIA
2007
Springer
13 years 11 months ago
An efficient estimation function for the crew scheduling problem
In this paper we explain an estimation function for the crew scheduling problem in the coach transportation domain. Thanks to this function we obtain an estimation that is very clo...
Javier Murillo, Beatriz López