3108 search results - page 288 / 622 » The Elements of Computer Credibility |
203
click to vote
STACS
2001
Springer
15 years 11 months ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
167
Voted
FOCS
2000
IEEE
15 years 11 months ago
2000
IEEE
One of the crucial elements in the Internet’s success is its ability to adequately control congestion. This paper defines and solves several optimization problems related to In...
189
click to vote
LCN
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper addresses the problem of measuring frame latency in ATM switches. The frames consisting of several ATM cells may arrive with numerous gaps between cells. It is importan...
159
click to vote
PG
2000
IEEE
15 years 11 months ago
2000
IEEE
Recently, graphics hardware has increased in capability, and is, moreover, now available even on standard PCs. These advances have encouraged researchers to develop hardware-accel...
156
click to vote
NPAR
2000
ACM
15 years 11 months ago
2000
ACM
In previous work [6], we presented an algorithm for rendering virtual scenes using art-based styles. We demonstrated the ability to render fur, grass, and trees in a stylized mann...