Sciweavers

3779 search results - page 390 / 756
» Linear Consistency Testing
Sort
View
CISM
1993
149views GIS» more  CISM 1993»
15 years 11 months ago
The Weak Instance Model
The weak instance model is a framework to consider the relations in a database as a whole, regardless of the way attributes are grouped in the individual relations. Queries and upd...
Paolo Atzeni, Riccardo Torlone
212
Voted
PLILP
1994
Springer
15 years 11 months ago
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
John Field, Frank Tip
AUSAI
2007
Springer
15 years 10 months ago
Weight Redistribution for Unweighted MAX-SAT
Many real-world problems are over-constrained and require search techniques adapted to optimising cost functions rather than searching for consistency. This makes the MAX-SAT probl...
Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar
DNA
2007
Springer
106views Bioinformatics» more  DNA 2007»
15 years 10 months ago
Hardware Acceleration for Thermodynamic Constrained DNA Code Generation
Reliable DNA computing requires a large pool of oligonucleotides that do not produce cross-hybridize. In this paper, we present a transformed algorithm to calculate the maximum wei...
Qinru Qiu, Prakash Mukre, Morgan Bishop, Daniel J....
ICCBR
2010
Springer
15 years 10 months ago
Case-Based Plan Diversity
The concept of diversity was successfully introduced for recommender-systems. By displaying results that are not only similar to a target problem but also diverse among themselves,...
Alexandra Coman, Héctor Muñoz-Avila