7796 search results - page 1364 / 1560 » On Generalized Schur Numbers |
167
Voted
SMI
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper considers computation of visibility for twodimensional shapes whose boundaries are C1 continuous curves. We assume we are given a one-parameter family of candidate view...
178
click to vote
TPHOL
2005
IEEE
16 years 8 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
142
click to vote
VISUALIZATION
2005
IEEE
16 years 8 days ago
2005
IEEE
VisTrails is a new system that enables interactive multiple-view visualizations by simplifying the creation and maintenance of visualization pipelines, and by optimizing their exe...
174
Voted
ANCS
2005
ACM
16 years 7 days ago
2005
ACM
Network edge packet-processing systems, as are commonly implemented on network processor platforms, are increasingly required to support a rich set of services. These multi-servic...
184
Voted
ANCS
2005
ACM
16 years 7 days ago
2005
ACM
We present Group Round-Robin (GRR) scheduling, a hybrid fair packet scheduling framework based on a grouping strategy that narrows down the traditional trade-off between fairness ...