Sciweavers

3775 search results - page 672 / 755
» Integrating Paper and Digital Music Information Systems
Sort
View
ICALP
2010
Springer
15 years 8 months ago
Example-Guided Abstraction Simplification
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...
Roberto Giacobazzi, Francesco Ranzato
ESWS
2008
Springer
15 years 8 months ago
Numeric reasoning in the Semantic Web
Abstract. The Semantic Web is an effort by the W3C to enable integration and sharing of information across different applications and organizations using annotations by means of on...
Chimène Fankam, Stéphane Jean, Guy P...
BCS
2008
15 years 7 months ago
Web Engineering Revisited
We propose "Web Engineering 2.0" to not focus anymore on how to engineer for the Web, but how to engineer the Web. Web Engineering has become one of the core disciplines...
Erik Wilde, Martin Gaedke
ACSW
2006
15 years 7 months ago
Grid-JQA: grid Java based quality of service management by active database
Task scheduling is an integrated component of computing. With the emergence of grid and ubiquitous computing, newer challenges have arisen in task scheduling. Unlike traditional p...
Leili Mohammad Khanli, Morteza Analoui
GRAPHICSINTERFACE
2001
15 years 7 months ago
Assisted Visualization of E-Commerce Auction Agents
This paper describes the integration of perceptual guidelines from human vision with an AI-based mixed-initiative search technique. The result is a visualization assistant, a syst...
Christopher G. Healey, Robert St. Amant, Jiae Chan...