2028 search results - page 186 / 406 » Deriving Relation Keys from XML Keys |
247
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
In this paper we introduce Structured Local Predictors (SLP) – A new formulation that considers the image labelling problem from a structured learning point of view. SLP are loc...
225
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
164
click to vote
HPCA
2006
IEEE
16 years 6 months ago
2006
IEEE
Processor architects have a challenging task of evaluating a large design space consisting of several interacting parameters and optimizations. In order to assist architects in ma...
179
click to vote
TOOLS
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
139
click to vote
AFRICACRYPT
2008
Springer
16 years 26 days ago
2008
Springer
Moustique is one of the sixteen finalists in the eSTREAM stream cipher project. Unlike the other finalists it is a self-synchronising cipher and therefore offers very different...