12774 search results - page 2265 / 2555 » A Framework for Proof Systems |
151
click to vote
HICSS
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
179
click to vote
HICSS
2003
IEEE
16 years 1 days ago
2003
IEEE
Human-robot interaction is a growing research domain; there are many approaches to robot design, depending on the particular aspects of interaction being focused on. In this paper...
178
click to vote
INFOCOM
2003
IEEE
16 years 1 days ago
2003
IEEE
— In this paper, we develop, analyze and implement a congestion control scheme obtained in a noncooperative game framework where each user’s cost function is composed of a pric...
181
click to vote
INFOCOM
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract— Replacement policies for general caching applications and Web caching in particular have been discussed extensively in the literature. Many ad-hoc policies have been pr...
162
click to vote
INFOVIS
2003
IEEE
16 years 1 days ago
2003
IEEE
In visualising multidimensional data, it is well known that different types of data require different types of algorithms to process them. Data sets might be distinguished accordi...