Sciweavers

577 search results - page 85 / 116
» A neurodynamical model for working memory
Sort
View
CAV
2008
Springer
108views Hardware» more  CAV 2008»
15 years 3 months ago
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
Akash Lal, Thomas W. Reps
DAIS
2009
15 years 3 months ago
WiSeKit: A Distributed Middleware to Support Application-Level Adaptation in Sensor Networks
Abstract. Applications for Wireless Sensor Networks (WSNs) are being spread to areas in which the contextual parameters modeling the environment are changing over the application l...
Amirhosein Taherkordi, Quan Le Trung, Romain Rouvo...
ENTCS
2007
174views more  ENTCS 2007»
15 years 1 months ago
Quantum Patterns and Types for Entanglement and Separability
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
Simon Perdrix
SIGIR
2002
ACM
15 years 1 months ago
A new family of online algorithms for category ranking
We describe a new family of topic-ranking algorithms for multi-labeled documents. The motivation for the algorithms stems from recent advances in online learning algorithms. The a...
Koby Crammer, Yoram Singer
MICCAI
2010
Springer
15 years 10 days ago
Incremental Shape Statistics Learning for Prostate Tracking in TRUS
Abstract. Automatic delineation of the prostate boundary in transrectal ultrasound (TRUS) can play a key role in image-guided prostate intervention. However, it is a very challengi...
Pingkun Yan, Jochen Kruecker