Sciweavers

6047 search results - page 238 / 1210
» A Scenario Construction Process
Sort
View
TASE
2009
IEEE
16 years 2 months ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin
IWSEC
2009
Springer
16 years 1 months ago
Reducing Complexity Assumptions for Oblivious Transfer
Reducing the minimum assumptions needed to construct various cryptographic primitives is an important and interesting task in theoretical cryptography. Oblivious Transfer, one of ...
K. Y. Cheong, Takeshi Koshiba
CRV
2005
IEEE
192views Robotics» more  CRV 2005»
16 years 27 days ago
3D Reconstruction of Environments for Planetary Exploration
In this paper we present our approach to 3D surface reconstruction from large sparse range data sets. In space robotics constructing an accurate model of the environment is very i...
Sebastien Gemme, Joseph Nsasi Bakambu, Ioannis M. ...
LREC
2008
97views Education» more  LREC 2008»
15 years 8 months ago
Towards a Reference Corpus of Web Genres for the Evaluation of Genre Identification Systems
We present initial results from an international and multi-disciplinary research collaboration that aims at the construction of a reference corpus of web genres. The primary appli...
Georg Rehm, Marina Santini, Alexander Mehler, Pave...
WSC
2004
15 years 8 months ago
Simulation Input Updating Using Bayesian Techniques
Simulation built on assumption and approximation has been traditionally utilized to make predictions prior to construction. Although there are many benefits of simulation such as ...
Tae Hwan Chung, Yasser Mohamed, Simaan M. AbouRizk