Sciweavers

3721 search results - page 666 / 745
» Infomaster: An Information Integration System
Sort
View
WMCSA
2009
IEEE
15 years 6 months ago
LiveCompare: grocery bargain hunting through participatory sensing
Many consumers are misled into paying high prices due to the search costs associated with attaining price information [16]. The popularity of bargain-hunting web sites like Slickd...
Linda Deng, Landon P. Cox
KBSE
2009
IEEE
15 years 6 months ago
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
Lucas Cordeiro, Bernd Fischer, João Marques...
IV
2009
IEEE
141views Visualization» more  IV 2009»
15 years 6 months ago
Connecting Genes with Diseases
We present a visual data mining application using the combination of clinical data, pathways and biomolecular data. Using pathways to navigate and filter the clinical and molecula...
Heimo Müller, Robert Reihs, Stefan Sauer 0002...
DEXA
2009
Springer
124views Database» more  DEXA 2009»
15 years 6 months ago
VisiNav: Visual Web Data Search and Navigation
Semantic Web technologies facilitate data integration over a large number of sources with decentralised and loose coordination, ideally leading to interlinked datasets which descri...
Andreas Harth
MIDDLEWARE
2009
Springer
15 years 6 months ago
PAQ: Persistent Adaptive Query Middleware for Dynamic Environments
Abstract. Pervasive computing applications often entail continuous monitoring tasks, issuing persistent queries that return continuously updated views of the operational environmen...
Vasanth Rajamani, Christine Julien, Jamie Payton, ...