2523 search results - page 225 / 505 » Objective: In Minimum Context |
134
Voted
ACSE
1998
ACM
15 years 9 months ago
1998
ACM
: Building research into teaching has particular value in the current academic climate; this paper considers why and reflects on the particular need for Computer Science education ...
130
click to vote
ICDT
1997
ACM
15 years 9 months ago
1997
ACM
The paper introduces a model of the Web as an in nite, semistructured set of objects. We reconsider the classical notions of genericity and computability of queries in this new con...
132
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
In this paper we present control patterns for the analysis and design of administrative control mechanisms in a network organization. A control pattern is a description of a generi...
161
click to vote
NIPS
2008
15 years 6 months ago
2008
In analogy to the PCA setting, the sparse PCA problem is often solved by iteratively alternating between two subtasks: cardinality-constrained rank-one variance maximization and m...
173
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...