Search Sciweavers | Sciweavers

15754 search results - page 354 / 3151

» Programs are Knowledge Bases

155

click to vote

VSTTE
2005
Springer

128views Software Engineering» more VSTTE 2005»

Programming with Proofs: Language-Based Approaches to Totally Correct Software

16 years 7 days ago

Download vstte.ethz.ch

Aaron Stump

claim paper

Read More »

110

Voted

DAGM
2004
Springer

99views Image Processing» more DAGM 2004»

Hierarchical Image Segmentation Based on Semidefinite Programming

16 years 5 days ago

Download ipa.iwr.uni-heidelberg.de

Jens Keuchel, Matthias Heiler, Christoph Schnö...

claim paper

Read More »

106

Voted

GECCO
2004
Springer

73views Optimization» more GECCO 2004»

Humanoid Robot Programming Based on CBR Augmented GP

16 years 4 days ago

Download www.iba.t.u-tokyo.ac.jp

Hongwei Liu, Hitoshi Iba

claim paper

Read More »

134

click to vote

WAIM
2004
Springer

109views Information Technology» more WAIM 2004»

Time Series Prediction Based on Gene Expression Programming

16 years 3 days ago

Download teacher.scu.edu.cn

Jie Zuo, Changjie Tang, Chuan Li, Chang-an Yuan, A...

claim paper

Read More »

128

click to vote

ICCV
2003
IEEE

141views Computer Vision» more ICCV 2003»

Fast Stereo Matching Using Reliability-Based Dynamic Programming and Consistency Constraints

16 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers