2451 search results - page 296 / 491 » The Octagon Abstract Domain |
185
click to vote
CSSE
2004
IEEE
15 years 4 months ago
2004
IEEE
Abstract. Semantic Web technologies will deeply influence the further development of the Internet Economy. A major challenge is, however, to find a practical solution for trust pro...
115
click to vote
CG
2002
Springer
15 years 4 months ago
2002
Springer
Abstract. Post's correspondence problem (PCP) is a classic undecidable problem. Its theoretical unbounded search space makes it hard to judge whether a PCP instance has a solu...
169
click to vote
COMPUTER
2002
15 years 4 months ago
2002
ectly support interaction with abstraction. Using technologies that go beyond searching individual repositories to analyzing and correlating knowledge across multiple sources and s...
127
click to vote
IJPRAI
2000
15 years 4 months ago
2000
Abstract A knowledge-guided approach to automatic classification of Coastal Zone Color images of the West Florida Shelf is described. The approach is used to identify red tides on ...
135
Voted
BC
1998
15 years 4 months ago
1998
Abstract. In a stereoscopic system, both eyes or cameras have a slightly dierent view. As a consequence, small variations between the projected images exist (`disparities') ...