3338 search results - page 277 / 668 » Assigning Papers to Referees |
196
Voted
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper table...
142
Voted
CTRSA
2001
Springer
15 years 11 months ago
2001
Springer
Computationally expensive tasks that can be parallelized are most efficiently completed by distributing the computation among a large number of processors. The growth of the Intern...
186
click to vote
ICN
2001
Springer
15 years 11 months ago
2001
Springer
New applications have been introduced to the today’s “best-effort” IP networks having different bandwidth and delay guarantee requirements. The IETF is currently focused on D...
160
click to vote
TLCA
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the Calculus of Constructions that we extend by adding an i...
160
click to vote
ICPP
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper compares three similar loop-grouping methods. All methods are based on projecting the n-dimensional iteration space Jn onto a k-dimensional one, called the projected sp...