4880 search results - page 165 / 976 » Manuals as Structured Programs |
116
Voted
INFSOF
1998
15 years 3 months ago
1998
Changing the internal structure of a program without changing its behavior is called restructuring. This paper presents a transformation called tuck for restructuring programs by ...
158
Voted
ICIC
2009
Springer
15 years 1 months ago
2009
Springer
This paper presents an evolutionary method for identifying the gene regulatory network from the observed time series data of gene expression using a system of ordinary differential...
149
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Can we detect low dimensional structure in high dimensional data sets of images? In this paper, we propose an algorithm for unsupervised learning of image manifolds by semidefinit...
163
Voted
ATVA
2007
Springer
15 years 9 months ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
132
Voted
CP
2004
Springer
15 years 9 months ago
2004
Springer
In this talk we present a number of problems for network design, planning and analysis and show how they can be addressed with different hybrid CP solutions. Clearly, this problem...