Sciweavers

13977 search results - page 2587 / 2796
» Evolution in complex systems
Sort
View
ECCC
2010
98views more  ECCC 2010»
15 years 5 months ago
Verifying Computations with Streaming Interactive Proofs
Applications based on outsourcing computation require guarantees to the data owner that the desired computation has been performed correctly by the service provider. Methods based...
Graham Cormode, Justin Thaler, Ke Yi
JASIS
2010
141views more  JASIS 2010»
15 years 5 months ago
Member activities and quality of tags in a collection of historical photographs in Flickr
There is growing interest in, and an increasing number of attempts by, traditional information providers to engage social content creation and sharing communities in creating and ...
Besiki Stvilia, Corinne Jörgensen
OIR
2010
101views more  OIR 2010»
15 years 4 months ago
Supporting information access in e-learning by integrating digital libraries and ontology
Purpose – The purpose of this paper is to examine the integration of digital library (DL) technologies with ontology-based knowledge representation in providing semantic rich in...
Daqing He, Yefei Peng, Ming Mao, Dan Wu
RTAS
2010
IEEE
15 years 4 months ago
Scheduling Self-Suspending Real-Time Tasks with Rate-Monotonic Priorities
Abstract—Recent results have shown that the feasibility problem of scheduling periodic tasks with self-suspensions is NPhard in the strong sense. We observe that a variation of t...
Karthik Lakshmanan, Ragunathan Rajkumar
SAB
2010
Springer
153views Optimization» more  SAB 2010»
15 years 4 months ago
Cooperative Stigmergic Navigation in a Heterogeneous Robotic Swarm
We study self-organized cooperation in a heterogeneous robotic swarm consisting of two sub-swarms. The robots of each sub-swarm play distinct roles based on their different charac...
Frederick Ducatelle, Gianni A. Di Caro, Luca Maria...
« Prev « First page 2587 / 2796 Last » Next »