3937 search results - page 403 / 788 » Questioning Ubiquitous Computing |
275
click to vote
APAL
2011
15 years 1 months ago
2011
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
154
click to vote
JOS
2010
15 years 1 months ago
2010
There has been much discussion about why agent-based simulation is not as widely used as discrete-event simulation in Operational Research as it is in neighbouring disciplines suc...
198
click to vote
TIT
2010
15 years 1 months ago
2010
Abstract--Motivated by applications of distributed linear estimation, distributed control, and distributed optimization, we consider the question of designing linear iterative algo...
213
click to vote
COMBINATORICA
2011
14 years 6 months ago
2011
We prove several quantitative Ramseyan results involving ternary complete trees with {0, 1}-labeled edges where we attempt to find a complete binary subtree with as few labels as ...
148
click to vote
EPART
2011
14 years 6 months ago
2011
Abstract. The Structured Online Consultation tool (SCT) is a component tool in the IMPACT Project which is used to construct and present detailed surveys that solicit feedback from...