Sciweavers

5757 search results - page 893 / 1152
» Dynamic Policy Programming
Sort
View
94
Voted
CAV
2007
Springer
121views Hardware» more  CAV 2007»
15 years 6 months ago
Low-Level Library Analysis and Summarization
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
Denis Gopan, Thomas W. Reps
128
Voted
FAW
2007
Springer
177views Algorithms» more  FAW 2007»
15 years 6 months ago
The Parameterized Complexity of the Induced Matching Problem in Planar Graphs
Abstract. Given a graph G and a nonnegative integer k, the NP-complete Induced Matching problem asks for an edge subset M such that M is a matching and no two edges of M are joined...
Hannes Moser, Somnath Sikdar
GECCO
2007
Springer
155views Optimization» more  GECCO 2007»
15 years 6 months ago
Towards clustering with XCS
This paper presents a novel approach to clustering using an accuracy-based Learning Classifier System. Our approach achieves this by exploiting the generalization mechanisms inher...
Kreangsak Tamee, Larry Bull, Ouen Pinngern
GECCO
2007
Springer
210views Optimization» more  GECCO 2007»
15 years 6 months ago
Mining breast cancer data with XCS
In this paper, we describe the use of a modern learning classifier system to a data mining task. In particular, in collaboration with a medical specialist, we apply XCS to a prima...
Faten Kharbat, Larry Bull, Mohammed Odeh
93
Voted
IFIP
2007
Springer
15 years 6 months ago
Semantic Context Reasoning Using Ontology Based Models
New mobile computing technologies and the increasing use of portable devices have pushed the development of the so-called context-aware applications. This new class of applications...
Rodrigo Mantovaneli Pessoa, Camilo Zardo Calvi, Jo...