9015 search results - page 389 / 1803 » Using Structural Computing to Support Information Integratio... |
170
Voted
VLDB
2002
ACM
15 years 4 months ago
2002
ACM
Automated recommendation (e.g., personalized product recommendation on an ecommerce web site) is an increasingly valuable service associated with many databases--typically online ...
139
click to vote
CIKM
2007
Springer
15 years 11 months ago
2007
Springer
We present a research effort into the application of semantic web methods and technologies to address the challenging problem of integrating heterogeneous volcanic and atmospheri...
143
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
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...
168
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
The practical realization of managing and executing large scale scientific computations efficiently and reliably is quite challenging. Scientific computations often invo...
131
Voted
ESORICS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. As the use of computers and data communication technologies spreads, network security systems are becoming increasingly complex, due to the incorporation of a variety of ...