940 search results - page 51 / 188 » Control Abstractions for Local Search |
176
click to vote
DATESO
2007
15 years 7 months ago
2007
When searching databases of nucleotide or protein sequences, finding a local alignment of two sequences is one of the main tasks. Since the sizes of available databases grow const...
192
click to vote
FROCOS
2007
Springer
16 years 10 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...
131
click to vote
TKDE
2008
15 years 6 months ago
2008
Abstract--Individual privacy will be at risk if a published data set is not properly deidentified. k-Anonymity is a major technique to deidentify a data set. Among a number of k-an...
154
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We consider a distributed system modeled as a possibly large network of automata. Planning in this system consists in selecting and organizing actions in order to reach a goal ...
241
click to vote
LISP
2002
15 years 5 months ago
2002
Abstract. Local CPS conversion is a compiler transformation for improving the code generated for nested loops by a direct-style compiler that uses recursive functions to represent ...