Sciweavers

598 search results - page 2 / 120
» Independence Semantics for BKBs
Sort
View
ICASSP
2011
IEEE
12 years 11 months ago
Video aesthetic quality assessment by combining semantically independent and dependent features
This paper aims to accomplish the work of assessing the aesthetic quality of a video. Unlike previous assessing works focusing mainly on the extraction of aesthetic features in a ...
Chun-Yu Yang, Hsin-Ho Yeh, Chu-Song Chen
OTM
2009
Springer
13 years 12 months ago
Automatic Construction of a Semantic, Domain-Independent Knowledge Base
In this paper, we want to show which difficulties arise when automatically constructing a domain-independent knowledge base from the web. We show possible applications for such a k...
David Urbansky
JCS
2010
82views more  JCS 2010»
13 years 5 months ago
Independence from obfuscation: A semantic framework for diversity
Riccardo Pucella, Fred B. Schneider
ACSD
2010
IEEE
197views Hardware» more  ACSD 2010»
13 years 5 months ago
Order-Independence of Vector-Based Transition Systems
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...
Matthias Raffelsieper, Mohammad Reza Mousavi, Hans...
LICS
2006
IEEE
14 years 1 months ago
Independence and Concurrent Separation Logic
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
Jonathan Hayman, Glynn Winskel