Sciweavers

2539 search results - page 68 / 508
» Semantic frameworks for e-government
Sort
View
CSL
2008
Springer
15 years 1 months ago
Quantitative Game Semantics for Linear Logic
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
Ugo Dal Lago, Olivier Laurent
ICAI
2009
14 years 9 months ago
BayesOWL: A Prototype System for Uncertainty in Semantic Web
: Previously we have proposed a theoretical framework, called BayesOWL, to model uncertainty in semantic web ontologies based on Bayesian networks. In particular, we have developed...
Shenyong Zhang, Yi Sun, Yun Peng, Xiaopu Wang
HICSS
2005
IEEE
145views Biometrics» more  HICSS 2005»
15 years 5 months ago
Semantic Web Fred - Automated Goal Resolution on the Semantic Web
Semantic Web Fred, SWF for short, is a contextindependent, goal-driven system for automated execution of tasks that are delegated to electronic representatives along with dynamic ...
Michael Stollberg, Dumitru Roman, Ioan Toma, Uwe K...
ICS
1999
Tsinghua U.
15 years 4 months ago
High-level semantic optimization of numerical codes
This paper presents a mathematical framework to exploit the semantic properties of matrix operations in loop-based numerical codes. The heart of this framework is an algebraic lan...
Vijay Menon, Keshav Pingali
CVPR
2010
IEEE
15 years 4 months ago
An Online Approach: Learning-Semantic-Scene-by-Tracking and Tracking-by-Learning-Semantic-Scene
Learning the knowledge of scene structure and tracking a large number of targets are both active topics of computer vision in recent years, which plays a crucial role in surveilla...
Xuan Song, Xiaowei Shao, Huijing Zhao, Jinshi Cui,...