10392 search results - page 1770 / 2079 » Introduction to Computer Science |
173
click to vote
ERCIMDL
2007
Springer
16 years 25 days ago
2007
Springer
Using keyword search to find relevant objects in digital libraries often results in way too large result sets. Based on the metadata associated with such objects, the faceted sear...
200
click to vote
FROCOS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
175
click to vote
GECCO
2007
Springer
16 years 24 days ago
2007
Springer
In the longest common subsequence problem the task is to find the longest sequence of letters that can be found as subsequence in all members of a given finite set of sequences....
155
click to vote
GECCO
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we describe an experiment to evolve oral tract (mouth) shapes for a set of vowels for two adult males. Target vowels were recorded in an acoustically anechoic room ...
177
click to vote
ICALP
2007
Springer
16 years 24 days ago
2007
Springer
A spanner of an undirected unweighted graph is a subgraph that approximates the distance metric of the original graph with some specified accuracy. Specifically, we say H ⊆ G i...