Sciweavers

2757 search results - page 309 / 552
» Empirical investigations of conceptual modeling and the mode...
Sort
View
EDBT
2009
ACM
165views Database» more  EDBT 2009»
14 years 11 months ago
Exploiting the power of relational databases for efficient stream processing
Stream applications gained significant popularity over the last years that lead to the development of specialized stream engines. These systems are designed from scratch with a di...
Erietta Liarou, Romulo Goncalves, Stratos Idreos
BMCBI
2010
156views more  BMCBI 2010»
15 years 2 months ago
Extended morphological processing: a practical method for automatic spot detection of biological markers from microscopic images
Background: A reliable extraction technique for resolving multiple spots in light or electron microscopic images is essential in investigations of the spatial distribution and dyn...
Yoshitaka Kimori, Norio Baba, Nobuhiro Morone
ACSD
2006
IEEE
89views Hardware» more  ACSD 2006»
15 years 5 months ago
On process-algebraic verification of asynchronous circuits
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...
Xu Wang, Marta Z. Kwiatkowska
DAGM
2010
Springer
15 years 14 days ago
A Convex Approach for Variational Super-Resolution
We propose a convex variational framework to compute high resolution images from a low resolution video. The image formation process is analyzed to provide to a well designed model...
Markus Unger, Thomas Pock, Manuel Werlberger, Hors...
HAPTICS
2008
IEEE
15 years 8 months ago
Using Vibration Patterns to Provide Impact Position Information in Haptic Manipulation of Virtual Objects
While standard closed haptic control loop used in haptic simulation of rigid bodies are bounded to low frequency force restitution, event-based or open-loop haptic, by superimposin...
Jean Sreng, Anatole Lécuyer, Claude Andriot