Sciweavers

1768 search results - page 314 / 354
» A Logic for Algebraic Effects
Sort
View
IKE
2004
15 years 7 months ago
Integration of Domain-Specific and Domain-Independent Ontologies for Colonoscopy Video Database Annotation
Flexible and effective indexing of video data so as to render it useful in automated inference and datadriven knowledge acquisition is a key problem in knowledge engineering. In t...
Jie Bao, Yu Cao, Wallapak Tavanapong, Vasant Honav...
GEOINFO
2003
15 years 7 months ago
Efficient Query Processing on the Relational Quadtree
Relational index structures, as for instance the Relational Interval Tree, the Relational R-Tree, or the Linear Quadtree, support efficient processing of queries on top of existing...
Hans-Peter Kriegel, Peter Kunath, Martin Pfeifle, ...
IADIS
2003
15 years 7 months ago
The Semantic + Pragmatic Web = The Semiotic Web
The desideratum for the concept of a semiotic web is proposed. It combines both the recent semantic web and the pragmatic web initiatives but surpasses them in being faithful to C...
Ahti-Veikko Pietarinen
FTCS
1998
144views more  FTCS 1998»
15 years 7 months ago
Improving Software Robustness with Dependability Cases
Programs fail mainly for two reasons: logic errors in the code, and exception failures. Exception failures can account for up to 2/3 of system crashes [6], hence are worthy of ser...
Roy A. Maxion, Robert T. Olszewski
ICMAS
2000
15 years 7 months ago
Justifying Multiply Sectioned Bayesian Networks
We consider multiple agents who's task is to determine the true state of a uncertain domain so they can act properly. If each agent only has partial knowledge about the domai...
Yang Xiang, Victor R. Lesser