1567 search results - page 188 / 314 » A Mechanized Model of the Theory of Objects |
92
Voted
PADL
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Mathematical programs (MPs) are a class of constrained optimization problems that include linear, mixed-integer, and disjunctive programs. Strategies for solving MPs rely...
134
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
We consider storage in an extremely large-scale distributed computer system designed for stream processing applications. In such systems, incoming data and intermediate results ma...
103
click to vote
CALCO
2007
Springer
15 years 7 months ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
121
click to vote
LICS
1994
IEEE
15 years 5 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
150
click to vote
ICVGIP
2008
15 years 3 months ago
2008
Following the phenomenological approach of gestaltists, sparse monocular depth cues such as T- and X-junctions and the local convexity are crucial to identify the shape and depth ...