9575 search results - page 1764 / 1915 » Exploring user experience in |
SEMWEB
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Much of the research on automated Web Service Composition (WSC) relates it to an AI planning task, where the composition is primarily done offline prior to execution. Rec...
SEMWEB
2010
Springer
13 years 7 months ago
2010
Springer
The proliferation of linked data on the Web paves the way to a new generation of applications that exploit heterogeneous data from different sources. However, because this Web of d...
TAP
2010
Springer
13 years 7 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
TRIDENTCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
As experimentation becomes one of the de-facto approaches for benchmarking, researchers are turning to testbeds to test, review and verify their work. As a result, several research...
UIST
2010
ACM
13 years 7 months ago
2010
ACM
We present Gestalt, a development environment designed to support the process of applying machine learning. While traditional programming environments focus on source code, we exp...