1237 search results - page 65 / 248 » Strictness and Totality Analysis |
151
click to vote
JSW
2008
15 years 6 months ago
2008
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
163
click to vote
SIAMJO
2008
15 years 6 months ago
2008
It is known that the Karush-Kuhn-Tucker (KKT) conditions of semidefinite programming can be reformulated as a nonsmooth system via the metric projector over the cone of symmetric ...
131
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
Sydney Shoemaker leads today's "neo-Lockean" liberation of persons from the conservative animalist charge of "neo-Aristotelians" such as Eric Olson, accord...
171
click to vote
SCP
1998
15 years 6 months ago
1998
Interpretation Using Typed Decision Graphs Laurent Mauborgne LIENS, ´Ecole Normale Sup´erieure, 45 rue d’Ulm, 75230 Paris cedex 05, France Abstract. This article presents a way...
208
click to vote
COLT
2010
Springer
15 years 4 months ago
2010
Springer
We present a new online learning algorithm in the selective sampling framework, where labels must be actively queried before they are revealed. We prove bounds on the regret of ou...