Sciweavers

913 search results - page 90 / 183
» Full Abstraction for Linda
Sort
View
VIS
2005
IEEE
122views Visualization» more  VIS 2005»
14 years 10 months ago
Effectively Visualizing Large Networks Through Sampling
We study the problem of visualizing large networks and develop es for effectively abstracting a network and reducing the size to a level that can be clearly viewed. Our size reduc...
Davood Rafiei, Stephen Curial
MICCAI
2006
Springer
14 years 9 months ago
Atlas Guided Identification of Brain Structures by Combining 3D Segmentation and SVM Classification
Abstract. This study presents a novel automatic approach for the identification of anatomical brain structures in magnetic resonance images (MRI). The method combines a fast multis...
Ayelet Akselrod-Ballin, Meirav Galun, Moshe John G...
CC
2009
Springer
141views System Software» more  CC 2009»
14 years 9 months ago
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
Nalini Vasudevan, Olivier Tardieu, Julian Dolby, S...
ESORICS
2009
Springer
14 years 9 months ago
Authentic Time-Stamps for Archival Storage
Abstract. We study the problem of authenticating the content and creation time of documents generated by an organization and retained in archival storage. Recent regulations (e.g.,...
Alina Oprea, Kevin D. Bowers
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
14 years 9 months ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...