Sciweavers

6368 search results - page 1135 / 1274
» Modeling Problem Transformations based on Data Complexity
Sort
View
IFIP
2010
Springer
14 years 12 months ago
Bounded Memory Dolev-Yao Adversaries in Collaborative Systems
Abstract. This paper extends existing models for collaborative systems. We investigate how much damage can be done by insiders alone, without collusion with an outside adversary. I...
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, ...
257
Voted
SIGMOD
2005
ACM
143views Database» more  SIGMOD 2005»
16 years 5 months ago
Holistic Aggregates in a Networked World: Distributed Tracking of Approximate Quantiles
While traditional database systems optimize for performance on one-shot queries, emerging large-scale monitoring applications require continuous tracking of complex aggregates and...
Graham Cormode, Minos N. Garofalakis, S. Muthukris...
STOC
1993
ACM
264views Algorithms» more  STOC 1993»
15 years 9 months ago
Contention in shared memory algorithms
Most complexity measures for concurrent algorithms for asynchronous shared-memory architectures focus on process steps and memory consumption. In practice, however, performance of ...
Cynthia Dwork, Maurice Herlihy, Orli Waarts
ICRA
2007
IEEE
157views Robotics» more  ICRA 2007»
15 years 11 months ago
Towards Mapping of Cities
— Map learning is a fundamental task in mobile robotics because maps are required for a series of high level applications. In this paper, we address the problem of building maps ...
Patrick Pfaff, Rudolph Triebel, Cyrill Stachniss, ...
190
Voted
CDC
2010
IEEE
160views Control Systems» more  CDC 2010»
15 years 1 days ago
Model-on-Demand predictive control for nonlinear hybrid systems with application to adaptive behavioral interventions
This paper presents a data-centric modeling and predictive control approach for nonlinear hybrid systems. System identification of hybrid systems represents a challenging problem b...
Naresh N. Nandola, Daniel E. Rivera
« Prev « First page 1135 / 1274 Last » Next »