2432 search results - page 204 / 487 » Degrees and choice numbers |
171
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
188
click to vote
PARA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents a method of solving initial value problems using Euler’s method, based on the domain of interval valued functions of a real variable. In contrast to...
129
click to vote
FOCS
2003
IEEE
15 years 12 months ago
2003
IEEE
We give a surprisingly short proof that in any planar arrangement of Ò curves where each pair intersects at most a fixed number (×) of times, the -level has subquadratic (Ç´...
162
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Currently, the Internet provides researchers with the opportunity to conduct online surveys in a more efficient and effective way than was previously allowed by traditional means....
153
click to vote
ISCC
2003
IEEE
15 years 11 months ago
2003
IEEE
In today’s Internet a user can be adversely affected by other users that overload the router. To address this problem, routers need to provide flow isolation. In this paper, we...