65 search results - page 7 / 13 » re 2000 |
100
Voted
CL
2000
Springer
15 years 2 months ago
2000
Springer
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic pers...
ERCIMDL
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Traditional news media report a single set of articles on current news stories. Online news sources make multiple stories on the same topic available re ecting di erent p...
108
Voted
FROCOS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
77
Voted
IDA
2000
Springer
14 years 10 months ago
2000
Springer
Discovery of multivalueddependenciesfrom database relations isviewed as a search in a hypothesis space de ned according to the generalisation relationship among multivalued depend...
CVPR
2000
IEEE
16 years 6 days ago
2000
IEEE
We presen t a multiview method for the computation of object shape and re ectance characteristics based on the integration of shape from shading (SFS) and stereo, for nonconstan t...