8582 search results - page 97 / 1717 » Here or There |
129
click to vote
CACM
2002
15 years 6 months ago
2002
ion, reviews, rigorous procedures, regression testing, metrics, and so forth) have been helpful, but we are still dealing with an intrinsically unsatisfactory situation. Especially...
170
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always ...
159
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Thesystempresented here showsthe feasibility of modcling the knowledgeinvolved in a complexmusical activity by integrating sub-symbolicand symbolicprocesses. Thisresearch focuses ...
138
click to vote
ENTCS
2000
15 years 6 months ago
2000
We present here a large family of concrete models for Girard and Reynolds polymorphism (System F), in a non categorical setting. The family generalizes the construction of the mod...
181
click to vote
JVCA
2000
15 years 6 months ago
2000
This contribution addresses the problem of obtaining 3D models from image sequences. A 3D surface description of the scene is extracted completely from a set of uncalibrated camer...