Sciweavers

933 search results - page 134 / 187
» A Fully Automatic hp-Adaptivity
Sort
View
NAR
2007
124views more  NAR 2007»
15 years 4 months ago
The RNAz web server: prediction of thermodynamically stable and evolutionarily conserved RNA structures
Many non-coding RNA genes and cis-acting regulatory elements of mRNAs contain RNA secondary structures that are critical for their function. Such functional RNAs can be predicted ...
Andreas R. Gruber, Richard Neuböck, Ivo L. Ho...
ENTER
2010
Springer
15 years 3 months ago
Semantic Online Tourism Market Monitoring
SEMAMO (SEmantic MArket MOnitoring) is a research project seeking to make use of the increasingly growing information available at Web-based sales and marketing channels for conti...
Norbert Walchhofer, Milan Hronsky, Michael Pö...
PERCOM
2010
ACM
15 years 2 months ago
DogSim: A state chart simulator for Domotic Environments
—Smart Homes and Domotic Environments are promising to revolutionize the daily human life providing users with increased care, adaptability and safety. However, to fully exploit ...
Dario Bonino, Fulvio Corno
TIP
2010
128views more  TIP 2010»
15 years 2 months ago
Variational Bayesian Image Restoration With a Product of Spatially Weighted Total Variation Image Priors
—In this paper a new image prior is introduced and used in image restoration. This prior is based on products of spatially weighted Total Variations (TV). These spatial weights p...
Giannis K. Chantas, Nikolas P. Galatsanos, Rafael ...
MEMOCODE
2010
IEEE
15 years 2 months ago
Proving transaction and system-level properties of untimed SystemC TLM designs
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
Daniel Große, Hoang M. Le, Rolf Drechsler