Sciweavers

5326 search results - page 144 / 1066
» On what we can ensure
Sort
View
IJSN
2006
78views more  IJSN 2006»
15 years 6 months ago
An approach to synthesise safe systems
: Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they ...
Arshad Jhumka, Felix C. Freiling, Christof Fetzer,...
WEBI
2007
Springer
16 years 15 days ago
Logic Programming to Address Issues of the Semantic Web
The size of the Web and its increase rate made it cumbersome to locate high precision results to a requested piece of information. The Semantic Web provides a framework and a set ...
Isambo Karali
ICCV
2011
IEEE
14 years 6 months ago
Sparse Dictionary-based Representation and Recognition of Action Attributes
We present an approach for dictionary learning of action attributes via information maximization. We unify the class distribution and appearance information into an objective func...
Qiang Qiu, Zhuolin Jiang, Rama Chellappa
SUM
2010
Springer
15 years 4 months ago
A Formal Analysis of Logic-Based Argumentation Systems
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
Leila Amgoud, Philippe Besnard
ECIS
2004
15 years 7 months ago
The value of life histories in researching the adoption and use of M-services
Mobile services are a very important part of the e-commerce landscape. Although research has been conducted on what services people use and what value they attach to those service...
Patricia McManus, Craig Standing