Sciweavers

2517 search results - page 125 / 504
» Specifying Weak Sets
Sort
View
168
Voted
PODS
2010
ACM
223views Database» more  PODS 2010»
15 years 7 months ago
Characterizing schema mappings via data examples
Schema mappings are high-level specifications that describe the relationship between two database schemas; they are considered to be the essential building blocks in data exchange...
Bogdan Alexe, Phokion G. Kolaitis, Wang Chiew Tan
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 5 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
SPAA
2010
ACM
15 years 5 months ago
Scheduling to minimize power consumption using submodular functions
We develop logarithmic approximation algorithms for extremely general formulations of multiprocessor multiinterval offline task scheduling to minimize power usage. Here each proce...
Erik D. Demaine, Morteza Zadimoghaddam
152
Voted
ICCV
2009
IEEE
16 years 10 months ago
Is a detector only good for detection?
A common design of an object recognition system has two steps, a detection step followed by a foreground withinclass classification step. For example, consider face detection by...
Quan Yuan and Stan Sclaroff
IFIP
2005
Springer
15 years 11 months ago
Type-Based Distributed Access Control vs. Untyped Attackers
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
Tom Chothia, Dominic Duggan