5550 search results - page 1043 / 1110 » Different Approaches to Proof Systems |
173
click to vote
ICCBR
1997
Springer
15 years 10 months ago
1997
Springer
Realistic and complex planning situations require a mixed-initiative planning framework in which human and automated planners interact to mutually construct a desired plan. Ideally...
165
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
A fundamental task in artificial intelligence and computer vision is to build machines that can behave like a human in recognizing a broad range of visual concepts. This paper aims...
180
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
Range imaging offers an inexpensive and accurate means for digitizing the shape of three-dimensional objects. Because most objects self occlude, no single range image suffices to ...
166
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we introduce a novel objective function for the hierarchical clustering of data from distance matrices, a very relevant task in Bioinformatics. To test the robustnes...
192
click to vote
ACMICEC
2008
ACM
15 years 8 months ago
2008
ACM
Supply Chain Management (SCM) involves a number of interrelated activities from negotiating with suppliers to competing for customer orders and scheduling the manufacturing proces...