743 search results - page 15 / 149 » Optimal Abstraction on Real-Valued Programs |
INFORMATICALT
2000
14 years 9 months ago
2000
Abstract. This paper deals with maximum likelihood and least square segmentation of autoregressive random sequences with abruptly changing parameters. Conditional distribution of t...
CP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The availability of commodity multiprocessors offers significant opportunities for addressing the increasing computational requirements of optimization applications. To...
SRDS
2003
IEEE
15 years 3 months ago
2003
IEEE
The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...
POPL
1996
ACM
15 years 1 months ago
1996
ACM
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...
EMMCVPR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Reverse-convex programming (RCP) concerns global optimization of a specific class of non-convex optimization problems. We show that a recently proposed model for sparse ...