5090 search results - page 890 / 1018 » Constructing Strategies for Programming |
140
click to vote
CIKM
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we describe a graphical workflow management system called HyperThesis to address the challenges of integrating bioinformatics applications. HyperThesis is an integ...
127
click to vote
IFIP
2003
Springer
15 years 9 months ago
2003
Springer
A fundamental issue in the design of a wireless sensor network is to devise mechanisms to make efficient use of its energy, and thus, extend its lifetime. The information about th...
153
click to vote
INDOCRYPT
2003
Springer
15 years 9 months ago
2003
Springer
We consider both information-theoretic and cryptographic settings for Multi-Party Computation (MPC), based on the underlying linear secret sharing scheme. Our goal is to study the ...
143
click to vote
PODS
2010
ACM
15 years 9 months ago
2010
ACM
A generalization from string to trees and from languages to translations is given of the classical result that any regular language can be learned from examples: it is shown that ...
151
click to vote
ICDM
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we present a new system, called GeneScout, for predicting gene structures in vertebrate genomic DNA. The system contains specially designed hidden Markov models (HM...