Sciweavers

1297 search results - page 25 / 260
» fews 2007
Sort
View
IDEAL
2007
Springer
15 years 6 months ago
Methods to Bicluster Validation and Comparison in Microarray Data
There are lots of validation indexes and techniques to study clustering results. Biclustering algorithms have been applied in Systems Biology, principally in DNA Microarray analysi...
Rodrigo Santamaría, Luis Quintales, Roberto...
ISPA
2007
Springer
15 years 6 months ago
Distributed Multi-source Regular Path Queries
Regular path queries are the building block of almost any mechanism for querying semistructured data. Despite the fact that the main applications of such data are distributed, ther...
Maryam Shoaran, Alex Thomo
MKM
2007
Springer
15 years 5 months ago
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...
Predrag Janicic, Alan Bundy
POLICY
2007
Springer
15 years 5 months ago
On Interoperable Trust Negotiation Strategies
Among the many works on trust negotiation, only a few deal with negotiation strategies. These works are tailored to specific frameworks—so their results cannot be extended to c...
Sabrina Baselice, Piero A. Bonatti, Marco Faella
WG
2007
Springer
15 years 5 months ago
Pathwidth of Circular-Arc Graphs
The pathwidth of a graph G is the minimum clique number of H minus one, over all interval supergraphs H of G. Although pathwidth is a well-known and well-studied graph parameter, t...
Karol Suchan, Ioan Todinca