Sciweavers

2452 search results - page 134 / 491
» The Case for Precision Sharing
Sort
View
ICSE
2009
IEEE-ACM
16 years 2 months ago
Semantics-based code search
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user’s specifications. The key words here are spec...
Steven P. Reiss
ICARCV
2008
IEEE
193views Robotics» more  ICARCV 2008»
16 years 2 months ago
Analysis of discrete and hybrid stochastic systems by nonlinear contraction theory
—We investigate the stability properties of discrete and hybrid stochastic nonlinear dynamical systems. More precisely, we extend the stochastic contraction theorems (which were ...
Quang-Cuong Pham
LCN
2008
IEEE
16 years 2 months ago
What's new? Message reduction in sensor networks using events
—Observing the environment is the raison d’ ˆetre of sensor networks, but the precise reconstruction of the measured process requires too many messages for a low power sensor ...
Andreas Köpke, Adam Wolisz
APPROX
2007
Springer
88views Algorithms» more  APPROX 2007»
16 years 1 months ago
Derandomization of Euclidean Random Walks
We consider the problem of derandomizing random walks in the Euclidean space Rk . We show that for k = 2, and in some cases in higher dimensions, such walks can be simulated in Lo...
Ilia Binder, Mark Braverman
PPAM
2007
Springer
16 years 1 months ago
A Formal Model of Multi-agent Computations
Abstract. The paper contains an extension of a formal model of multiagent computing system developed in previous publications towards considering a more general system state. We pr...
Maciej Smolka