Sciweavers

4609 search results - page 351 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
TMI
2002
146views more  TMI 2002»
15 years 6 months ago
Feature-Guided Shape-Based Image Interpolation
Abstract--A feature-guided image interpolation scheme is presented. It is an effective and improved, shape-based interpolation method used for interpolating image slices in medical...
Tong-Yee Lee, Chao-Hung Lin
PVLDB
2008
121views more  PVLDB 2008»
15 years 6 months ago
QueryScope: visualizing queries for repeatable database tuning
Reading and perceiving complex SQL queries has been a time consuming task in traditional database applications for decades. When it comes to decision support systems with automati...
Ling Hu, Kenneth A. Ross, Yuan-Chi Chang, Christia...
DMS
2010
229views Multimedia» more  DMS 2010»
15 years 5 months ago
Image Annotation System Using Visual and Textual Features
We present an automated Image Annotation system called I-Tag which uses both visual and textual information of the images and recommends relevant tags for them. The automatic gene...
Swapnil Barai, Alfonso F. Cardenas
ICRA
2010
IEEE
100views Robotics» more  ICRA 2010»
15 years 5 months ago
Robot limbo: Optimized planning and control for dynamically stable robots under vertical obstacles
Abstract— We present successful control strategies for dynamically stable robots that avoid low ceilings and other vertical obstacles in a manner similar to limbo dances. Given t...
Kasemsit Teeyapan, Jiuguang Wang, Tobias Kunz, Mik...
ICSOC
2010
Springer
15 years 5 months ago
Artifact-Centric Choreographies
Classical notations for service collaborations focus either on the control flow of participating services (interacting models) or the order in which messages are exchanged (intera...
Niels Lohmann, Karsten Wolf