1743 search results - page 157 / 349 » Generalized Modal Satisfiability |
103
Voted
HT
2005
ACM
15 years 9 months ago
2005
ACM
Vox Populi is a system that automatically generates video documentaries. Our application domain is video interviews about controversial topics. Via a Web interface the user select...
130
Voted
GD
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a new framework for drawing graphs in three dimensions. In general, the new framework uses a divide and conquer approach. More specifically, the framework divi...
103
Voted
ITICSE
2004
ACM
15 years 9 months ago
2004
ACM
In this paper, we describe our Computer Science Program Assessment (COMPASS) project. COMPASS uses open-source software tools to support the development and analysis of course por...
123
Voted
CCS
2004
ACM
15 years 9 months ago
2004
ACM
We show that a number of recent definitions and constructions of fuzzy extractors are not adequate for multiple uses of the same fuzzy secret—a major shortcoming in the case of...
138
Voted
ICLP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...