Sciweavers

1177 search results - page 194 / 236
» A review of function modeling: Approaches and applications
Sort
View
DEBU
2008
100views more  DEBU 2008»
13 years 8 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu
CVPR
2005
IEEE
14 years 10 months ago
Interactive Shape from Shading
Shape from shading (SfS) has always been difficult for real applications due to its intrinsic ill-posedness. In this paper, we propose an interactive SfS method which efficiently ...
Gang Zeng, Yasuyuki Matsushita, Long Quan, Heung-Y...
ICCAD
2002
IEEE
157views Hardware» more  ICCAD 2002»
14 years 5 months ago
Combined dynamic voltage scaling and adaptive body biasing for lower power microprocessors under dynamic workloads
Dynamic voltage scaling (DVS) reduces the power consumption of processors when peak performance is unnecessary. However, the achievable power savings by DVS alone is becoming limi...
Steven M. Martin, Krisztián Flautner, Trevo...
CSB
2005
IEEE
125views Bioinformatics» more  CSB 2005»
14 years 2 months ago
On Optimizing Distance-Based Similarity Search for Biological Databases
Similarity search leveraging distance-based index structures is increasingly being used for both multimedia and biological database applications. We consider distance-based indexi...
Rui Mao, Weijia Xu, Smriti R. Ramakrishnan, Glen N...
WEA
2005
Springer
119views Algorithms» more  WEA 2005»
14 years 2 months ago
On Symbolic Scheduling Independent Tasks with Restricted Execution Times
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
Daniel Sawitzki