4797 search results - page 154 / 960 » The complexity of partition tasks |
166
click to vote
FM
2009
Springer
16 years 28 days ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
187
click to vote
BCB
2010
15 years 1 months ago
2010
Recent studies suggest that the mammalian genomes can be subdivided in segments within which there is limited haplotype diversity. Understanding the distribution and structure of ...
152
click to vote
CAISE
2007
Springer
16 years 16 days ago
2007
Springer
Semantic matching1 is a fundamental step in implementing data sharing applications. Most systems automating this task however limit themselves to finding simple (one-to-one) match...
161
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We study the complexity of a multilateral negotiation framework where autonomous agents agree on a sequence of deals to exchange sets of discrete resources in order to both furthe...
162
click to vote
KCAP
2003
ACM
15 years 11 months ago
2003
ACM
Because it is difficult to engineer a complex ontology with time, we here consider a method that allows for factorizing the complexity of the engineering process, FONTE (Factoriz...