Sciweavers

3362 search results - page 232 / 673
» A definition of subjective possibility
Sort
View
PODS
2010
ACM
249views Database» more  PODS 2010»
15 years 11 months ago
Semantic query optimization in the presence of types
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
Michael Meier 0002, Michael Schmidt, Fang Wei, Geo...
DELTA
2002
IEEE
15 years 11 months ago
The Search for Design in Electrical Engineering Education
The importance of “design” in engineering education is well established and a cornerstone of most new engineering curricula as well as accreditation criteria. Electrical and c...
David V. Kerns, Sherra E. Kerns, Gill A. Pratt, Ma...
GLVLSI
2002
IEEE
136views VLSI» more  GLVLSI 2002»
15 years 11 months ago
Test generation for resistive opens in CMOS
This paper develops new techniques for detecting both stuck-open faults and resistive open faults, which result in increased delays along some paths. The improved detection of CMO...
Arun Krishnamachary, Jacob A. Abraham
179
Voted
SPAA
2010
ACM
15 years 11 months ago
Brief announcement: byzantine agreement with homonyms
In this work, we address Byzantine agreement in a message passing system with homonyms, i.e. a system with a number l of authenticated identities that is independent of the total ...
Carole Delporte-Gallet, Hugues Fauconnier, Rachid ...
FSTTCS
2001
Springer
15 years 11 months ago
Semidefinite Programming Based Approximation Algorithms
Semidefinite programming based approximation algorithms, such as the Goemans and Williamson approximation algorithm for the MAX CUT problem, are usually shown to have certain perf...
Uri Zwick