Sciweavers

4806 search results - page 775 / 962
» Interactive uncertainty analysis
Sort
View
TACAS
2009
Springer
131views Algorithms» more  TACAS 2009»
16 years 1 months ago
Verifying Reference Counting Implementations
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Ma...
CRV
2009
IEEE
148views Robotics» more  CRV 2009»
16 years 29 days ago
A Novel Algorithm for Extraction of the Layers of the Cornea
Accurate corneal layer boundary extraction from optical coherence tomography can provide precise layer thickness measurements required in the analysis of corneal disease. This pap...
Justin A. Eichel, Akshaya Kumar Mishra, Paul W. Fi...
GLOBECOM
2009
IEEE
16 years 29 days ago
Impact of Social Networks on Delay Tolerant Routing
Abstract—Delay Tolerant Networks (DTNs) are wireless networks in which at any given time instance, the probability of having a complete path from a source to destination is low d...
Eyuphan Bulut, Zijian Wang, Boleslaw K. Szymanski
GLVLSI
2009
IEEE
164views VLSI» more  GLVLSI 2009»
16 years 29 days ago
Capturing topology-level implications of link synthesis techniques for nanoscale networks-on-chip
In the context of nanoscale networks-on-chip (NoCs), each link implementation solution is not just a specific synthesis optimization technique with local performance and power im...
Daniele Ludovici, Georgi Nedeltchev Gaydadjiev, Da...
ICASSP
2009
IEEE
16 years 29 days ago
A Bayesian NETWORKS approach for dialog modeling: The fusion BN
Bayesian Networks, BNs, are suitable for mixed-initiative dialog modeling allowing a more flexible and natural spoken interaction. This solution can be applied to identify the in...
Fernando F. Fernández-Martínez, Javi...