Sciweavers

595 search results - page 64 / 119
» Session 7: Demonstrations
Sort
View
MICCAI
2010
Springer
15 years 2 months ago
Fast Random Walker with Priors Using Precomputation for Interactive Medical Image Segmentation
Abstract. Updating segmentation results in real-time based on repeated user input is a reliable way to guarantee accuracy, paramount in medical imaging applications, while making e...
Shawn Andrews, Ghassan Hamarneh, Ahmed Saad
167
Voted
SECON
2010
IEEE
15 years 2 months ago
A Robust Push-To-Talk Service for Wireless Mesh Networks
Push-to-Talk (PTT) is a useful capability for rapidly deployable wireless mesh networks used by first responders. PTT allows several users to speak with each other while using a si...
Yair Amir, Raluca Musaloiu-Elefteri, Nilo Rivera
GI
2009
Springer
15 years 2 months ago
An Adaptative Framework for Tracking Web-based Learning Environments
: Collecting and sharing attention information represents a main concern within the Technology Enhanced Learning community, as the number of works or projects related to this topic...
Valentin Butoianu, Philippe Vidal, Julien Broisin
HCI
2009
15 years 2 months ago
Tonic Changes in EEG Power Spectra during Simulated Driving
Electroencephalographic (EEG) correlates of driving performance were studied using an event-related lane-departure paradigm. High-density EEG data were analyzed using independent c...
Ruey-Song Huang, Tzyy-Ping Jung, Scott Makeig
IFIP
2009
Springer
15 years 2 months ago
Finite Models in FOL-Based Crypto-Protocol Verification
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...
Jan Jürjens, Tjark Weber