2517 search results - page 50 / 504 » Specifying Weak Sets |
155
click to vote
NC
2008
15 years 5 months ago
2008
A highly desired part of the synthetic biology toolbox is an embedded chemical microcontroller, capable of autonomously following a logic program specified by a set of instructions...
105
click to vote
FLAIRS
2001
15 years 7 months ago
2001
TheIceberg-Cube problemis to identify the combinations of valuesfor a set of attributes for whicha specified aggregationfunction yields values over a specified aggregate threshold...
162
click to vote
LPNMR
2009
Springer
16 years 3 days ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
150
click to vote
LICS
2007
IEEE
15 years 12 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
173
click to vote
MICCAI
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we propose a weakly supervised learning algorithm for appearance models based on the minimum description length (MDL) principle. From a set of training images or volu...