Sciweavers

1818 search results - page 253 / 364
» Operant conditioning
Sort
View
105
Voted
SCALESPACE
2009
Springer
15 years 9 months ago
Image Denoising Using TV-Stokes Equation with an Orientation-Matching Minimization
Abstract. In this paper, we propose an orientation-matching minimization for denoising digital images with an additive noise. Inspired by the two-step algorithm in the TV-Stokes de...
Xue-Cheng Tai, Sofia Borok, Jooyoung Hahn
144
Voted
TPCTC
2009
Springer
190views Hardware» more  TPCTC 2009»
15 years 9 months ago
A Performance Study of Event Processing Systems
Abstract. Event processing engines are used in diverse mission-critical scenarios such as fraud detection, traffic monitoring, or intensive care units. However, these scenarios hav...
Marcelo R. N. Mendes, Pedro Bizarro, Paulo Marques
113
Voted
EICS
2009
ACM
15 years 9 months ago
A bisimulation-based approach to the analysis of human-computer interaction
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
Sébastien Combéfis, Charles Pecheur
108
Voted
ISSTA
2009
ACM
15 years 9 months ago
Analyzing singularity channel contracts
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
Zachary Stengel, Tevfik Bultan
144
Voted
BIBM
2008
IEEE
159views Bioinformatics» more  BIBM 2008»
15 years 9 months ago
Probe Design for Compressive Sensing DNA Microarrays
Abstract—Compressive Sensing Microarrays (CSM) are DNAbased sensors that operate using group testing and compressive sensing (CS) principles. In contrast to conventional DNA micr...
Wei Dai, Olgica Milenkovic, Mona A. Sheikh, Richar...