Sciweavers

1922 search results - page 186 / 385
» Systems biology, models, and concurrency
Sort
View
CONCUR
2010
Springer
15 years 2 months ago
Modal Logic over Higher Dimensional Automata
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
Cristian Prisacariu
POPL
2009
ACM
15 years 8 months ago
Language constructs for transactional memory
Transactional memory (TM) provides a safer, more modular, and more scalable alternative to traditional lock-based synchronization. Implementing high performance TM systems has rec...
Tim Harris
CORR
2008
Springer
114views Education» more  CORR 2008»
15 years 1 months ago
Modeling Time in Computing: A Taxonomy and a Comparative Survey
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a gro...
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, M...
ICASSP
2008
IEEE
15 years 8 months ago
A top-down auditory attention model for learning task dependent influences on prominence detection in speech
A top-down task-dependent model guides attention to likely target locations in cluttered scenes. Here, a novel biologically plausible top-down auditory attention model is presente...
Ozlem Kalinli, Shrikanth S. Narayanan
EVOW
2006
Springer
15 years 5 months ago
Artificial Life Models in Lung CTs
A new method for the analysis of 3D medical images is introduced. The algorithm is based on Biological Models of ants known as Artificial Life models. Test images (lung Computed To...
Sorin Cristian Cheran, Gianfranco Gargano