12742 search results - page 341 / 2549 » On canonical number systems |
191
click to vote
TNC
2004
15 years 8 months ago
2004
The bandwidth broker architectures introduced to manage diffserv still have scalability flaws in the mean of large volumes of end-to-end tunnels and workload they have to handle. ...
169
click to vote
WSCG
2004
15 years 8 months ago
2004
In this article we present a visualisation algorithm based on image warping. A source data for the algorithm is a set of images with colour and depth information rendered for the ...
178
Voted
ICMAS
1998
15 years 8 months ago
1998
abstract, form of this problem, we use a mathematical analysis to show that three different messaging protocols result in varying message loads, depending on certain parameters suc...
178
click to vote
ICGA
1997
15 years 8 months ago
1997
The routing and scheduling of vehicles and their crews is an area of increasing importance. In this paper, we describe a large scale vehicle scheduling and routing problem which i...
182
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Automated theorem provers (ATPs) struggle to solve problems with large sets of possibly superfluous axiom. Several algorithms have been developed to reduce the number of ...