2000 search results - page 300 / 400 » Program Transformation and Proof Transformation |
133
Voted
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Framework design is a multifaceted endeavor undertaken to promote reuse of software within a family of related applications. Traditional approaches involve either the e...
114
Voted
ICPR
2006
IEEE
15 years 9 months ago
2006
IEEE
We investigated the geometrical complexity of several high-dimensional, small sample classification problems and its changes due to two popular feature selection procedures, forw...
121
Voted
ITNG
2006
IEEE
15 years 9 months ago
2006
IEEE
We introduce a measurement system architecture, which has three main qualities: secure two-way transfer of measurement data, quick adaptability to different kinds of measurement ...
137
Voted
ACIVS
2006
Springer
15 years 9 months ago
2006
Springer
We propose a scanline energy minimization algorithm for stereo vision. The proposed algorithm differs from conventional energy minimization techniques in that it focuses on the re...
129
Voted
DEXAW
2005
IEEE
15 years 9 months ago
2005
IEEE
Software organizations follow capability models in order to aggregate quality to their processes and products. Process measurement and analysis are key issues, but their implement...