1280 search results - page 143 / 256 » Soft Typing with Conditional Types |
191
Voted
VEE
2012
ACM
13 years 10 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...
117
Voted
ICIP
1999
IEEE
16 years 4 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...
111
click to vote
ICML
2009
IEEE
16 years 3 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...
86
Voted
ATAL
2009
Springer
15 years 9 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...
100
Voted
IVA
2009
Springer
15 years 9 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...