912 search results - page 158 / 183 » Abstract Saturation-Based Inference |
ESWS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Semantic Web Services were developed with the goal of automating the integration of business processes on the Web. The main idea is to express the functionality of the se...
ESOP
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...
ICCV
1995
IEEE
14 years 1 months ago
1995
IEEE
Abstract: We address the recovery of segmented, 3-0 descriptions of an object from intensity images. We use three views of an objectfrom slightly different viewpointsas our input. ...
CAISE
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Parthood is a relation of fundamental importance in a number of disciplines including cognitive science, linguistics and conceptual modeling. However, one classical probl...
ACCV
2010
Springer
14 years 1 days ago
2010
Springer
Automatic processing of video data is essential in order to allow efficient access to large amounts of video content, a crucial point in such applications as video mining and surve...