9871 search results - page 1814 / 1975 » On the Structure of Low Sets |
150
click to vote
COCOON
2007
Springer
16 years 21 days ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...
169
click to vote
ESORICS
2007
Springer
16 years 20 days ago
2007
Springer
Current trust models enable decision support at an implicit level by means of thresholds or constraint satisfiability. Decision support is mostly included only for a single binary...
154
click to vote
GI
2007
Springer
16 years 20 days ago
2007
Springer
: Public transport plays an important role in our society which is characterized by mobility, individuality, comfort and ecological constraints. It is common opinion that public tr...
159
click to vote
ISSAC
2007
Springer
16 years 20 days ago
2007
Springer
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...
194
click to vote
MHCI
2007
Springer
16 years 19 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...