6960 search results - page 562 / 1392 » Continuity Analysis of Programs |
224
click to vote
POPL
1998
ACM
15 years 11 months ago
1998
ACM
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...
197
click to vote
COMPGEOM
2005
ACM
15 years 9 months ago
2005
ACM
We initiate the study of exact geometric algorithms that require limited storage and make only a small number of passes over the input. Fundamental problems such as lowdimensional...
181
click to vote
SPIESR
2004
15 years 8 months ago
2004
The production of closed captions is an important but expensive process in video broadcasting. We propose a method to generate highly accurate off-line captions efficiently. Our s...
161
click to vote
MOR
2006
15 years 7 months ago
2006
We introduce an axiomatic definition of a conditional convex risk mapping and we derive its properties. In particular, we prove a representation theorem for conditional risk mappi...
232
click to vote
FPL
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we present a rapid prototyping platform on a single Field Programmable Gate Array (FPGA) with support for software transactional memory. The system is composed only b...