999 search results - page 159 / 200 » On the Decidability of Functional Uncertainty |
INFOCOM
1995
IEEE
14 years 10 days ago
1995
IEEE
Usage-based pricing of offered traffic to a data network can be an effective technique for congestion control. To gain insight into the benejits usage-based pricing offers, we pro...
SIGGRAPH
1987
ACM
14 years 8 days ago
1987
ACM
Ray tracing produces point samples of an image from a 3-D model. Constructing an antialiased digital picture from point samples is difficult without resorting to extremely high sa...
FOSSACS
2010
Springer
14 years 3 days ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
CAISE
2009
Springer
14 years 3 days ago
2009
Springer
Abstract. Parthood is a relation of fundamental importance in a number of disciplines including cognitive science, linguistics and conceptual modeling. However, one classical probl...
FLAIRS
2010
13 years 11 months ago
2010
A vision-based machine learner is presented that learns characteristic hand and object movement patterns for using certain objects, and uses this information to recreate the "...