2778 search results - page 116 / 556 » Limit complexities revisited |
144
click to vote
EDBT
2009
ACM
15 years 9 months ago
2009
ACM
Data provenance is essential in applications such as scientific computing, curated databases, and data warehouses. Several systems have been developed that provide provenance fun...
136
click to vote
CCGRID
2010
IEEE
15 years 4 months ago
2010
IEEE
—Despite extensive research focused on enabling QoS for grid users through economic and intelligent resource provisioning, no consensus has emerged on the most promising strategi...
140
click to vote
ECOOP
2009
Springer
15 years 11 months ago
2009
Springer
Modern development environments support refactoring by providing atomically behaviour-preserving transformations. While useful, these transformations are limited in three ways: (i)...
120
click to vote
FSTTCS
2008
Springer
15 years 5 months ago
2008
Springer
We consider an extension of Church’s synthesis problem to ordinals by adding limit transitions to graph games. We consider game arenas where these limit transitions are defined...
154
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— In recent years, there has been an increasing interest in autonomous navigation for lightweight flying robots. With regard to self-localization flying robots have sev...