7123 search results - page 1177 / 1425 » The Ordered Set of Rough Sets |
199
click to vote
MHCI
2007
Springer
16 years 24 days ago
2007
Springer
Mobile phone users have to deal with limited battery lifetime through a reciprocal process we call human-battery interaction (HBI). We conducted three user studies in order to und...
194
click to vote
OTM
2007
Springer
16 years 24 days ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
173
click to vote
PEPM
2007
ACM
16 years 23 days ago
2007
ACM
Poly-Controlled Partial Evaluation (PCPE) is a powerful approach to partial evaluation, which has recently been proposed. PCPE takes into account sets of control strategies instea...
197
click to vote
TCC
2007
Springer
16 years 23 days ago
2007
Springer
Assume that two distant parties, Alice and Bob, as well as an adversary, Eve, have access to (quantum) systems prepared jointly according to a tripartite state ρABE. In addition, ...
144
click to vote
VMCAI
2007
Springer
16 years 23 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...