Sciweavers

2314 search results - page 209 / 463
» Monoids over domains
Sort
View
DATE
2003
IEEE
92views Hardware» more  DATE 2003»
15 years 12 months ago
Local Search for Boolean Relations on the Basis of Unit Propagation
We propose a method for local search of Boolean relations relating variables of a CNF formula. The method is to branch on small subsets of the set of CNF variables and to analyze ...
Yakov Novikov
ICDAR
2003
IEEE
15 years 12 months ago
Texture Feature Characterization for Logical Pre-labeling
In this article we present a study based on the use of texture features for logical pre-labeling. The aim of our work is to calculate a great number of texture features over three...
Bénédicte Allier, Jean Duong, Antoin...
AP2PC
2003
Springer
15 years 12 months ago
A P2P Approach to ClassLoading in Java
The Classloader has long been one of the key extensibility points of the Java Virtual Machine architecture. It lies at the heart of many of the distributed mechanisms that have mad...
Daryl Parker, David Cleary
CAISE
2003
Springer
15 years 12 months ago
Modelling Telecare Service Requirements for Older People Using the Unified Modelling Language
Providing technology support for older people offers distinct challenges for social and IT systems delivery. The definition and integration of services, the diversity of supply, va...
Ken Lunn, Andrew Sixsmith, Ann Lindsay, Marja Vaar...
GECCO
2003
Springer
101views Optimization» more  GECCO 2003»
15 years 12 months ago
Population Implosion in Genetic Programming
With the exception of a small body of adaptive-parameter literature, evolutionary computation has traditionally favored keeping the population size constant through the course of t...
Sean Luke, Gabriel Catalin Balan, Liviu Panait