Sciweavers

16190 search results - page 194 / 3238
» Applicative programming with effects
Sort
View
115
Voted
CAD
2005
Springer
15 years 3 months ago
Computer-aided characterization for effective mechanical properties of porous tissue scaffolds
Performance of various functions of the tissue structure depends on porous scaffold microstructures with specific porosity characteristics that influence the behavior of the incor...
Zhibin Fang, Binil Starly, Wei Sun
149
Voted
SECON
2007
IEEE
15 years 9 months ago
High-Level Application Development is Realistic for Wireless Sensor Networks
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
Marcin Karpinski, Vinny Cahill
110
Voted
ICIP
2006
IEEE
16 years 5 months ago
Digital Reflection: Simulating the Mirroring Effect
This article presents an image-processing framework that permits replicating mirror reflection digitally in a natural way. We have adapted a known stereo blending technique to per...
Ana C. Andrés del Valle, Javier Cano Brabez...
158
Voted
CASC
2009
Springer
180views Mathematics» more  CASC 2009»
15 years 4 months ago
Effective Quantifier Elimination for Presburger Arithmetic with Infinity
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
Aless Lasaruk, Thomas Sturm
157
Voted
VIS
2009
IEEE
215views Visualization» more  VIS 2009»
16 years 4 months ago
Iconizer: A Framework to Identify and Create Effective Representations for Visual Information Encoding
concept form search query vision confirm consensus refine search query graphics VIE-designer image objects image objects Visual Sign (VIE) run search query words images Iconizer:...
Supriya Garg, Tamara Berg, Klaus Mueller