1153 search results - page 176 / 231 » The Complexity of Revision, Revised |
153
click to vote
FQAS
2006
Springer
15 years 9 months ago
2006
Springer
Searchers' difficulty in formulating effective queries for their information needs is well known. Analysis of search session logs shows that users often pose short, vague quer...
158
click to vote
GD
2006
Springer
15 years 9 months ago
2006
Springer
We consider graph drawing algorithms for learning spaces, a type of st-oriented partial cube derived from an antimatroid and used to model states of knowledge of students. We show...
226
click to vote
CP
1995
Springer
15 years 9 months ago
1995
Springer
A distributed constraint satisfaction problem (Distributed CSP) is a CSP in which variables and constraints are distributed among multiple automated agents, and various application...
165
click to vote
ICFP
1997
ACM
15 years 9 months ago
1997
ACM
An interprocedural flow analysis can justify inlining in higher-order languages. In principle, more inlining can be performed as analysis accuracy improves. This paper compares fo...
142
click to vote
HPCN
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing syste...