8917 search results - page 1405 / 1784 » Abstraction in Algorithm Animation |
147
click to vote
RECOMB
2005
Springer
16 years 5 months ago
2005
Springer
Abstract. Current approaches for identification and detection of transcription factor binding sites rely on an extensive set of known target genes. Here we describe a novel structu...
131
click to vote
RECOMB
2004
Springer
16 years 5 months ago
2004
Springer
d abstract) John Kececioglu and Dean Starrett Department of Computer Science The University of Arizona Tucson AZ 85721, USA A basic computational problem that arises in both the...
148
click to vote
CADE
2005
Springer
16 years 5 months ago
2005
Springer
Abstract This paper describes a formalisation of the lambda-calculus in a HOL-based theorem prover using nominal techniques. Central to the formalisation is an inductive set that i...
221
click to vote
SIGMOD
2007
ACM
16 years 5 months ago
2007
ACM
Traditional client-server applications relegate query and persistence operations on their data to database systems. The database system operates on data in the form of rows and ta...
245
click to vote
SIGMOD
2005
ACM
16 years 5 months ago
2005
ACM
Clio, the IBM Research system for expressing declarative schema mappings, has progressed in the past few years from a research prototype into a technology that is behind some of I...