Sciweavers

127 search results - page 17 / 26
» Interactive wrapper generation with minimal user effort
Sort
View
ISBI
2008
IEEE
14 years 9 months ago
Integrating volume visualization techniques into medical applications
One of the main obstacles in integrating 3D volume visualization in the clinical workflow is the time-consuming process of adjusting parameters such as viewpoint, transfer functio...
Stefan Bruckner, Peter Kohlmann, Armin Kanitsar, M...
SIGMOD
2005
ACM
156views Database» more  SIGMOD 2005»
14 years 8 months ago
Model-driven design of service-enabled web applications
Significant efforts are currently invested in application integration to enable the interaction and composition of business processes of different companies, yielding complex, mul...
Marco Brambilla, Stefano Ceri, Piero Fraternali, R...
FATES
2003
Springer
14 years 1 months ago
Using a Software Testing Technique to Improve Theorem Proving
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
Reiner Hähnle, Angela Wallenburg
ATAL
2008
Springer
13 years 10 months ago
The design of a generic framework for integrating ECA components
Embodied Conversational Agents (ECAs) are life-like computer generated characters that interact with human users in face-to-face multi-modal conversations. ECA systems are general...
Hung-Hsuan Huang, Toyoaki Nishida, Aleksandra Cere...
SIGIR
2012
ACM
11 years 11 months ago
Automatic term mismatch diagnosis for selective query expansion
People are seldom aware that their search queries frequently mismatch a majority of the relevant documents. This may not be a big problem for topics with a large and diverse set o...
Le Zhao, Jamie Callan