940 search results - page 51 / 188 » Control Abstractions for Local Search |
137
Voted
DATESO
2007
15 years 4 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...
150
Voted
FROCOS
2007
Springer
15 years 8 months 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...
94
Voted
TKDE
2008
15 years 2 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...
108
click to vote
CDC
2009
IEEE
15 years 7 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 ...
172
Voted
LISP
2002
15 years 2 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 ...