Sciweavers

2287 search results - page 81 / 458
» Making it Real
Sort
View
133
Voted
DEXAW
2008
IEEE
145views Database» more  DEXAW 2008»
15 years 4 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, ...
128
Voted
CORR
2007
Springer
117views Education» more  CORR 2007»
15 years 2 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é...
146
Voted
ICIP
2009
IEEE
16 years 3 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
15 years 3 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
15 years 8 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