Sciweavers

7335 search results - page 215 / 1467
» Scene Based Reasoning
Sort
View
AINA
2008
IEEE
15 years 10 months ago
Performance Optimization of Temporal Reasoning for Grid Workflows Using Relaxed Region Analysis
With quick evolution of grid technologies and increasing complexity of e-Science applications, reasoning temporal properties of grid workflows to ensure reliability and trustworth...
Ke Xu, Junwei Cao, Lianchen Liu, Cheng Wu
COMPSAC
2008
IEEE
15 years 10 months ago
Constraint Reasoning in Path-Oriented Random Testing
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...
Arnaud Gotlieb, Matthieu Petit
110
Voted
ICTAI
2007
IEEE
15 years 10 months ago
Knowledge Representation and Reasoning for Perceptual Anchoring
In this work we report results on the use of symbolic knowledge representation and reasoning (KRR) for perceptual anchoring. This is the creation and maintenance of a connection b...
Jonas Melchert, Silvia Coradeschi, Amy Loutfi
110
Voted
SACMAT
2006
ACM
15 years 9 months ago
Towards reasonability properties for access-control policy languages
The growing importance of access control has led to the definition of numerous languages for specifying policies. Since these languages are based on different foundations, langua...
Michael Carl Tschantz, Shriram Krishnamurthi
122
Voted
SEMWEB
2005
Springer
15 years 9 months ago
Ontology Learning and Reasoning - Dealing with Uncertainty and Inconsistency
Ontology Learning from text aims at generating domain ontologies from textual resources by applying natural language processing and machine learning techniques. It is inherent in t...
Peter Haase, Johanna Völker