1712 search results - page 55 / 343 » Abstract Constraint Data Types |
CP
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. In this paper we give an overview of applications of Constraint Programming for IP (Internet Protocol) data networks, and discuss the problem of Resilience Analysis in mo...
CAV
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
45
Voted
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
100
click to vote
NIPS
2003
15 years 13 days ago
2003
Density estimation with Gaussian Mixture Models is a popular generative technique used also for clustering. We develop a framework to incorporate side information in the form of e...