Sciweavers

3717 search results - page 248 / 744
» Representing Multiple Theories
Sort
View
SEMWEB
2009
Springer
16 years 1 months ago
Towards Lightweight and Robust Large Scale Emergent Knowledge Processing
We present a lightweight framework for processing uncertain emergent knowledge that comes from multiple resources with varying relevance. The framework is essentially RDF-compatibl...
Vít Novácek, Stefan Decker
SAT
2007
Springer
126views Hardware» more  SAT 2007»
16 years 25 days ago
Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach
Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses sensor deplo...
Fadi A. Aloul, Nagarajan Kandasamy
SEMWEB
2007
Springer
16 years 25 days ago
A Pattern-based Framework for Representation of Uncertainty in Ontologies
Abstract. We present a novel approach to representing uncertain information in ontologies based on design patterns. We provide a brief description of our approach, present its use ...
Miroslav Vacura, Vojtech Svátek, Pavel Smrz...
SSC
2007
Springer
126views Cryptology» more  SSC 2007»
16 years 25 days ago
Randomness and Representation of Span n Sequences
Any span n sequences can be regarded as filtering sequences. From this observation, new randomness criteria for span n sequences are proposed. It is proved that the feedback funct...
Guang Gong
WAIFI
2007
Springer
141views Mathematics» more  WAIFI 2007»
16 years 25 days ago
New Point Addition Formulae for ECC Applications
Abstract. In this paper we propose a new approach to point scalar multiplication on elliptic curves defined over fields of characteristic greater than 3. It is based on new point...
Nicolas Meloni