3706 search results - page 432 / 742 » The Transformational Approach to Program Development |
155
click to vote
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
We study the problem of learning a classification task in which only a dissimilarity function of the objects is accessible. That is, data are not represented by feature vectors bu...
135
click to vote
EDBT
2002
ACM
16 years 4 months ago
2002
ACM
Maintaining statistics on multidimensional data distributions is crucial for predicting the run-time and result size of queries and data analysis tasks with acceptable accuracy. To...
133
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
— To ensure security and robustness of the next generation of Physically Unclonable Functions (PUFs), we have developed a new methodology for PUF design. Our approach employs int...
135
click to vote
CBSE
2009
Springer
15 years 11 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
138
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...