743 search results - page 71 / 149 » Optimal Abstraction on Real-Valued Programs |
TIP
2008
14 years 9 months ago
2008
Abstract--In this paper, we analyze the computational challenges in implementing particle filtering, especially to video sequences. Particle filtering is a technique used for filte...
SIGSOFT
2004
ACM
15 years 3 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
102
click to vote
ICFP
2002
ACM
15 years 10 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
POPL
1998
ACM
15 years 2 months ago
1998
ACM
abstractions, such as closures, tuples, and user-deļ¬ned abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
SIAMJO
2010
14 years 8 months ago
2010
Abstract. Sequential quadratic programming (SQP) methods form a class of highly eļ¬cient algorithms for solving nonlinearly constrained optimization problems. Although second deri...