Sciweavers

595 search results - page 64 / 119
» Session 7: Demonstrations
Sort
View
127
Voted
MICCAI
2010
Springer
14 years 10 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
SECON
2010
IEEE
14 years 10 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
94
Voted
GI
2009
Springer
14 years 10 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
86
Voted
HCI
2009
14 years 10 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
112
Voted
IFIP
2009
Springer
14 years 10 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