8512 search results - page 1601 / 1703 » Computing Theory With Relevance |
CIE
2010
Springer
14 years 1 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
CSR
2010
Springer
14 years 1 months ago
2010
Springer
Algorithmic tools for graphs of small treewidth are used to address questions in complexity theory. For both arithmetic and Boolean circuits, it is shown that any circuit of size ...
GI
2009
Springer
14 years 25 days ago
2009
Springer
Abstract: Am Anfang der Kybernetik steht die Erkenntnis Norbert Wieners, dass Lebewesen und Maschinen etwas gemeinsam haben: Ihr Verhalten l¨asst sich als Feedbackprozess beschrei...
HUC
2009
Springer
14 years 25 days ago
2009
Springer
Mobile privacy concerns are central to Ubicomp and yet remain poorly understood. We advocate a diversified approach, enabling the cross-interpretation of data from complementary m...
HUC
2009
Springer
14 years 25 days ago
2009
Springer
In this paper we describe a new Bayesian estimation approach for simultaneous mapping and localization for pedestrians based on odometry with foot mounted inertial sensors. When s...