1213 search results - page 148 / 243 » Approximation in quantale-enriched categories |
PODS
2010
ACM
14 years 11 months ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
CCS
2010
ACM
14 years 11 months ago
2010
ACM
This paper presents the first large-scale study of the success of password expiration in meeting its intended purpose, namely revoking access to an account by an attacker who has ...
96
Voted
GLVLSI
2010
IEEE
14 years 11 months ago
2010
IEEE
We revisit voltage partitioning problem when the mapped voltages of functional units are predetermined. If energy consumption is estimated by formulation E = CV 2 , a published wo...
SMA
2010
ACM
14 years 11 months ago
2010
ACM
In region machining, neighbouring regions may be close together, but disconnected. Boundary curves may also have unwanted geometric artifacts caused by approximation and discretis...
109
Voted
MM
2010
ACM
14 years 11 months ago
2010
ACM
This paper presents the results of a user study carried out to evaluate an application prototype in which an audio-visual chat conversation between two users is augmented by pictu...