Sciweavers

2490 search results - page 63 / 498
» Complexity of Contextual Reasoning
Sort
View
LPAR
2010
Springer
15 years 2 months ago
The Complexity of Partial-Observation Parity Games
We consider two-player zero-sum games on graphs. On the basis of the information available to the players these games can be classified as follows: (a) partial-observation (both p...
Krishnendu Chatterjee, Laurent Doyen
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
128
Voted
COMPSAC
2006
IEEE
15 years 10 months ago
An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
Yonggang Zhang, Juergen Rilling, Volker Haarslev
AIIA
2005
Springer
15 years 9 months ago
Towards a General Framework for Substitutional Adaptation in Case-Based Reasoning
Abstract. Adaptation is one of the most problematic steps in the design and development of Case Based Reasoning (CBR) systems, as it may require considerable domain knowledge and i...
Sara Manzoni, Fabio Sartori, Giuseppe Vizzari
DEXAW
1999
IEEE
137views Database» more  DEXAW 1999»
15 years 8 months ago
Reasoning with Enhanced Temporal Entity-Relationship Models
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information, and several proposals of temporally enhanced Entity-Relation...
Alessandro Artale, Enrico Franconi