2607 search results - page 282 / 522 » Complete Functional Synthesis |
156
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
160
Voted
CP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper we propose an optimal anytime version of constrained simulated annealing (CSA) for solving constrained nonlinear programming problems (NLPs). One of the goa...
176
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: Complete sequencing of bacterial genomes has become a common technique of present day microbiology. Thereafter, data mining in the complete sequence is an essential st...
150
click to vote
BMCBI
2002
15 years 4 months ago
2002
Background: Functional genomics involves the parallel experimentation with large sets of proteins. This requires management of large sets of open reading frames as a prerequisite ...
138
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
The bidirectional texture function (BTF) describes texture appearance variations due to varying illumination and viewing conditions. This function is acquired by large number of m...