Sciweavers

642 search results - page 98 / 129
» Vagueness Facilitates Search
Sort
View
AI
2010
Springer
13 years 10 months ago
When is it better not to look ahead?
In situations where one needs to make a sequence of decisions, it is often believed that looking ahead will help produce better decisions. However, it was shown 30 years ago that ...
Dana S. Nau, Mitja Lustrek, Austin Parker, Ivan Br...
ASE
2008
120views more  ASE 2008»
13 years 10 months ago
Requirements model generation to support requirements elicitation: the Secure Tropos experience
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
Nadzeya Kiyavitskaya, Nicola Zannone
CGF
2010
155views more  CGF 2010»
13 years 10 months ago
SmallWorlds: Visualizing Social Recommendations
We present SmallWorlds, a visual interactive graph-based interface that allows users to specify, refine and build item-preference profiles in a variety of domains. The interface f...
Brynjar Gretarsson, John O'Donovan, Svetlin Bostan...
ERCIM
2008
130views more  ERCIM 2008»
13 years 10 months ago
Mediated Collaborative Learning
Information and Communication Technologies facilitate the emergence of new contexts and practices of learning that educational institutions have to adapt to their pedagogical disc...
Kostas Pentikousis, Carmen Martinez-Carrillo
CORR
2006
Springer
95views Education» more  CORR 2006»
13 years 10 months ago
SAT Solving for Argument Filterings
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
Michael Codish, Peter Schneider-Kamp, Vitaly Lagoo...