16404 search results - page 2606 / 3281 » A set coverage problem |
205
click to vote
FMCO
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented lang...
228
click to vote
FOIKS
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. We give a general framework for approximate query processing in semistructured databases. We focus on regular path queries, which are the integral part of most of the que...
197
click to vote
FORMATS
2004
Springer
16 years 19 days ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
193
click to vote
GD
2004
Springer
16 years 19 days ago
2004
Springer
It has been noted that many realistic graphs have a power law degree distribution and exhibit the small world phenomenon. We present drawing methods influenced by recent developm...
168
click to vote
GECCO
2004
Springer
16 years 19 days ago
2004
Springer
The simultaneity matrix is an × matrix of numbers. It is constructed according to a set of -bit solutions. The matrix element mij is the degree of linkage between bit positions i ...