Sciweavers

598 search results - page 2 / 120
» Independence Semantics for BKBs
Sort
View
ICASSP
2011
IEEE
12 years 8 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 9 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 3 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 2 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
13 years 10 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