10066 search results - page 275 / 2014 » A Technique for Information System Integration |
205
click to vote
CG
2007
Springer
15 years 6 months ago
2007
Springer
In this article we describe an ongoing effort to integrate information visualization techniques into the process of configuration management for software systems. Our focus is to...
166
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Accessing information on mobile and wearable devices often requires the user's visual attention, and the precise operation of virtual or physical widgets. However, these inte...
201
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
173
click to vote
AIRS
2005
Springer
16 years 7 days ago
2005
Springer
This paper investigates the problem of retrieving popular music by singing. In contrast to the retrieval of MIDI music, which is easy to acquire the main melody by the selection of...
165
click to vote
DOLAP
2004
ACM
16 years 4 days ago
2004
ACM
Nowadays, decision support systems are evolving in order to handle complex data. Some recent works have shown the interest of combining on-line analysis processing (OLAP) and data...