Sciweavers

1315 search results - page 139 / 263
» Usability of dial-a-ride systems
Sort
View
CADE
2007
Springer
16 years 6 months ago
Predictive Labeling with Dependency Pairs Using SAT
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...
Adam Koprowski, Aart Middeldorp
CVPR
2010
IEEE
16 years 2 months ago
Personalization of Image Enhancement
We address the problem of incorporating user preference in automatic image enhancement. Unlike generic tools for automatically enhancing images, we seek to develop methods that ca...
Sing Bing Kang, Ashish Kapoor, Dani Lischinski
APSCC
2009
IEEE
16 years 1 months ago
Context-aware adaptive service mashups
—Mashup tools are becoming increasingly important enabling users to compose services and processes on the Web. Most existing tools focus on Web-based interfaces, usability, and v...
Christoph Dorn, Daniel Schall, Schahram Dustdar
IDC
2009
Springer
16 years 1 months ago
A Trusted Defeasible Reasoning Service for Brokering Agents in the Semantic Web
Abstract. Based on the plethora of proposals and standards for logic- and rulebased reasoning for the Semantic Web (SW), a key factor for the success of SW agents is interoperabili...
Kalliopi Kravari, Efstratios Kontopoulos, Nick Bas...
ICAIL
2009
ACM
16 years 29 days ago
How much logical structure is helpful in content-based argumentation software for legal case solving?
Current argumentation support software often employs graphical representations of logical relationships. Little is known about the extent to which logical structuring helps to inc...
Stijn Colen, Fokie Cnossen, Bart Verheij