Sciweavers

2287 search results - page 81 / 458
» Making it Real
Sort
View
DEXAW
2008
IEEE
145views Database» more  DEXAW 2008»
13 years 9 months ago
ECQ: A Simple Query Language for the Semantic Web
With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems. In ...
María del Mar Roldán García, ...
CORR
2007
Springer
117views Education» more  CORR 2007»
13 years 8 months ago
Dynamic Logic of Common Knowledge in a Proof Assistant
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
Pierre Lescanne, Jérôme Puissé...
ICIP
2009
IEEE
14 years 9 months ago
Efficient Motion Compensated Frame Rate Upconversion Using Multiple Interpolations And Median Filtering
Methods for motion compensated frame rate upconversion exploit motion in order to generate interpolated frames that are temporally located between the available original frames of...
IJCAI
2007
13 years 9 months ago
Argumentation Based Contract Monitoring in Uncertain Domains
Few existing argumentation frameworks are designed to deal with probabilistic knowledge, and none are designed to represent possibilistic knowledge, making them unsuitable for man...
Nir Oren, Timothy J. Norman, Alun D. Preece
IEEEARES
2008
IEEE
14 years 2 months ago
An Ontological Approach to Secure MANET Management
Mobile Ad hoc Networks (MANETs) rely on dynamic configuration decisions to efficiently operate in a rapidly changing environment of limited resources. The ability of a MANET to ma...
Mark E. Orwat, Timothy E. Levin, Cynthia E. Irvine