Sciweavers

1940 search results - page 351 / 388
» Search with Synonyms: Problems and Solutions
Sort
View
IUI
2004
ACM
15 years 11 months ago
Leafing digital content
Today the availability of large digital content archives (video, ebook, audio) creates many problems in terms of user interaction and data manipulation (browsing, searching). Many...
A. Barletta, M. Mayer, B. Moser
GECCO
2004
Springer
114views Optimization» more  GECCO 2004»
15 years 11 months ago
Evolutionary Drug Scheduling Model for Cancer Chemotherapy
This paper presents a modified optimal control model of drug scheduling in cancer chemotherapy and a new adaptive elitist-population based genetic algorithm (AEGA) to solve it. Wo...
Yong Liang, Kwong-Sak Leung, Tony Shu Kam Mok
GECCO
2004
Springer
15 years 11 months ago
Using Interconnection Style Rules to Infer Software Architecture Relations
Software design techniques emphasize the use of abstractions to help developers deal with the complexity of constructing large and complex systems. These abstractions can also be u...
Brian S. Mitchell, Spiros Mancoridis, Martin Trave...
ICLP
2004
Springer
15 years 11 months ago
Non-viability Deductions in Arc-Consistency Computation
Arc-Consistency (AC) techniques have been used extensively in the study of Constraint Satisfaction Problems (CSP). These techniques are used to simplify the CSP before or during th...
Camilo Rueda, Frank D. Valencia
KI
2004
Springer
15 years 11 months ago
Model Based Deduction for Database Schema Reasoning
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
Peter Baumgartner, Ulrich Furbach, Margret Gro&szl...