4276 search results - page 831 / 856 » Computability of Probability Distributions and Distribution ... |
NOSSDAV
2010
Springer
14 years 10 days ago
2010
Springer
Recently, many video sharing sites provide external links so that their video or audio contents can be embedded into external web sites. For example, users can copy the embedded U...
SIGGRAPH
2010
ACM
14 years 1 days ago
2010
ACM
Material design is the process by which artists specify the reflectance
properties of a surface, such as its diffuse color and specular
roughness. We present a user study to eval...
MOBIHOC
2000
ACM
13 years 12 months ago
2000
ACM
ln the future, wireless networking will be embedded into a wide variety of common, everyday objects [1]. In many embedded networking situations, the communicating nodes will be ver...
SIGCSE
2000
ACM
13 years 12 months ago
2000
ACM
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
TACS
1994
Springer
13 years 11 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...