Sciweavers

5244 search results - page 378 / 1049
» Structural Complexity of AvgBPP
Sort
View
VMCAI
2010
Springer
16 years 4 months ago
Collections, Cardinalities, and Relations
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
Kuat Yessenov, Ruzica Piskac, Viktor Kuncak
ICCD
2005
IEEE
111views Hardware» more  ICCD 2005»
16 years 3 months ago
Low- and Ultra Low-Power Arithmetic Units: Design and Comparison
Design guidelines for low- and ultra low-power arithmetic units are presented. We analyze structures for addition in the energy-delay space to determine the most suitable for thes...
Milena Vratonjic, Bart R. Zeydel, Vojin G. Oklobdz...
ICSM
2008
IEEE
16 years 1 months ago
Design principles in architectural evolution: A case study
We wish to investigate how structural design principles are used in practice, in order to assess the utility and relevance of such principles to the maintenance of large, complex,...
Michel Wermelinger, Yijun Yu, Angela Lozano
ICDE
1997
IEEE
112views Database» more  ICDE 1997»
16 years 8 months ago
WOL: A Language for Database Transformations and Constraints
The need to transform data between heterogeneous databases arises from a number of critical tasks in data management. These tasks are complicated by schema evolution in the underl...
Susan B. Davidson, Anthony Kosky
ICPR
2004
IEEE
16 years 8 months ago
A Consistency-Based Model Selection for One-Class Classification
Model selection in unsupervised learning is a hard problem. In this paper a simple selection criterion for hyperparameters in one-class classifiers (OCCs) is proposed. It makes us...
David M. J. Tax, Klaus-Robert Müller