1280 search results - page 143 / 256 » Soft Typing with Conditional Types |
VEE
2012
ACM
12 years 4 months ago
2012
ACM
Time Of Check To Time Of Use (TOCTTOU) race conditions for file accesses in user-space applications are a common problem in Unix-like systems. The mapping between filename and i...
ICIP
1999
IEEE
14 years 10 months ago
1999
IEEE
This paper presents a method to generate dynamic shading of image-based objects without geometric models. Since conventional rendering techniques cannot be used to render the shad...
ICML
2009
IEEE
14 years 10 months ago
2009
IEEE
We describe a new method for learning the conditional probability distribution of a binary-valued variable from labelled training examples. Our proposed Compositional Noisy-Logica...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
In a team competition, two participating teams have an equal number of players, and each team orders its players linearly based on their strengths. A mechanism then specifies how...
IVA
2009
Springer
14 years 3 months ago
2009
Springer
Virtual training systems provide an effective means to train people for complex, dynamic tasks such as crisis management or firefighting. Intelligent agents are often used to pl...