Sciweavers

19367 search results - page 489 / 3874
» Fine-Grain Process Modelling
Sort
View
164
Voted
ENTCS
1998
101views more  ENTCS 1998»
15 years 5 months ago
A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
Marta Z. Kwiatkowska, Gethin Norman
178
Voted
IV
2010
IEEE
150views Visualization» more  IV 2010»
15 years 4 months ago
Supporting the Analytical Reasoning Process in Maritime Anomaly Detection: Evaluation and Experimental Design
Despite the growing number of systems providing visual analytic support for investigative analysis, few empirical studies include investigations on the analytical reasoning proces...
Maria Riveiro, Göran Falkman
ICIP
2009
IEEE
15 years 3 months ago
FM filters for modulation domain image processing
For the first time, we demonstrate modulation domain image filters that achieve perceptually motivated image processing goals by directly manipulating the FM functions in a multi-...
Chuong T. Nguyen, Patrick A. Campbell, Joseph P. H...
172
Voted
JOCN
2011
92views more  JOCN 2011»
14 years 9 months ago
Rapid Modulation of Sensory Processing Induced by Stimulus Conflict
■ Humans are constantly confronted with environmental stimuli that conflict with task goals and can interfere with successful behavior. Prevailing theories propose the existence...
Lawrence G. Appelbaum, David V. Smith, Carsten Nic...
COORDINATION
2009
Springer
16 years 6 months ago
High-Performance Transactional Event Processing
This paper presents a transactional framework for low-latency, high-performance, concurrent event processing in Java. At the heart of our framework lies Reflexes, a restricted prog...
Antonio Cunei, Rachid Guerraoui, Jesper Honig Spri...