Sciweavers

1818 search results - page 294 / 364
» Operant conditioning
Sort
View
FSTTCS
2010
Springer
15 years 10 days ago
Expressiveness of streaming string transducers
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
Rajeev Alur, Pavol Cerný
ICRA
2010
IEEE
151views Robotics» more  ICRA 2010»
15 years 8 days ago
Design and control of motion compensation cardiac catheters
Robotic cardiac catheters have the potential to revolutionize heart surgery by extending minimally invasive techniques to complex surgical repairs inside the heart. However, cathet...
Samuel B. Kesner, Robert D. Howe
IPPS
2010
IEEE
15 years 8 days ago
Dynamic analysis of the relay cache-coherence protocol for distributed transactional memory
Transactional memory is an alternative programming model for managing contention in accessing shared in-memory data objects. Distributed transactional memory (TM) promises to alle...
Bo Zhang, Binoy Ravindran
SIGSOFT
2010
ACM
15 years 6 days ago
Realizability analysis for message-based interactions using shared-state projections
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
Sylvain Hallé, Tevfik Bultan
ICCS
2009
Springer
15 years 3 days ago
Gene Specific Co-regulation Discovery: An Improved Approach
Abstract. Discovering gene co-regulatory relationships is a new but important research problem in DNA microarray data analysis. The problem of gene specific co-regulation discovery...
Ji Zhang, Qing Liu, Kai Xu 0003