3713 search results - page 550 / 743 » Constructing a Calculus of Programs |
DAC
2005
ACM
16 years 4 months ago
2005
ACM
In this paper an optimization based model order reduction (MOR) framework is proposed. The method involves setting up a quasiconvex program that explicitly minimizes a relaxation ...
115
click to vote
WWW
2007
ACM
16 years 3 months ago
2007
ACM
The Biased Minimax Probability Machine (BMPM) constructs a classifier which deals with the imbalanced learning tasks. In this paper, we propose a Second Order Cone Programming (SO...
129
click to vote
WWW
2007
ACM
16 years 3 months ago
2007
ACM
XML is increasingly being used as a typed data format, and therefore it becomes more important to gain access to the type system; very often this is an XML Schema. The XML Schema ...
215
click to vote
CC
2009
Springer
16 years 3 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
107
click to vote
CHI
2008
ACM
16 years 3 months ago
2008
ACM
Arizona State University's Arts, Media, and Engineering Program is currently addressing the need to assess the growth of group creativity in trans-disciplinary collaboration....