Sciweavers

583 search results - page 83 / 117
» Finding Answers to Complex Questions
Sort
View
ICLP
2007
Springer
14 years 4 months ago
Declarative Diagnosis of Temporal Concurrent Constraint Programs
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
Moreno Falaschi, Carlos Olarte, Catuscia Palamides...
SEMWEB
2007
Springer
14 years 4 months ago
Privacy and Capability Management for the European eIDM Framework
The natural evolution of eGovernment is to go beyond the management of identities and therefore it is necessary to manage people, companies or organizations, and their capabilities...
Mario Reyes-Ayala, Ignacio Alamillo, Daniel Chavar...
FOCS
2005
IEEE
14 years 3 months ago
The Closest Substring problem with small distances
In the CLOSEST SUBSTRING problem k strings s1, ..., sk are given, and the task is to find a string s of length L such that each string si has a consecutive substring of length L ...
Dániel Marx
VISUALIZATION
2005
IEEE
14 years 3 months ago
Understanding Visualization through Spatial Ability Differences
Little is known about the cognitive abilities which influence the comprehension of scientific and information visualizations and what properties of the visualization affect compre...
Maria C. Velez, Deborah Silver, Marilyn Tremaine
SEKE
2004
Springer
14 years 3 months ago
Case Study Methodology Designed Research in Software Engineering Methodology Validation
One of the challenging research problems in validating a software engineering methodology (SEM), and a part of its validation process, is to answer “How to fairly collect, presen...
Seok Won Lee, David C. Rine