4609 search results - page 793 / 922 » Automatic Generation of Sigma-Protocols |
144
click to vote
CLEF
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we assess the impact of using thesaurus-based query expansion methods, at the Information Retrieval (IR) stage of a Question Answering (QA) system. We focus on expan...
193
click to vote
PAISI
2010
Springer
15 years 7 months ago
2010
Springer
We tackle the problem of automatically detecting controversial issues and their subtopics from news articles. We define a controversial issue as a concept that invokes conflicting ...
146
click to vote
CSEE
2008
Springer
2008
Springer
Improving Knowledge Acquisition in Capstone Projects Using Learning Spaces for Experiential Learning
15 years 7 months ago
Students have to cope with new technologies, changing environments, and conflicting changes in capstone projects. They often lack practical experience, which might lead to failing...
155
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
Constraint satisfaction problems (CSPs) are ubiquitous in many real-world contexts. However, modeling a problem as a CSP can be very challenging, usually requiring considerable ex...
178
click to vote
EDOC
2008
IEEE
15 years 7 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...