Sciweavers

347 search results - page 47 / 70
» Hierarchical Collectives in MPICH2
Sort
View
ICPR
2008
IEEE
14 years 10 months ago
Visual features with semantic combination using Bayesian network for a more effective image retrieval
In many vision problems, instead of having fully annotated training data, it is easier to obtain just a subset of data with annotations, because it is less restrictive for the use...
Sabine Barrat, Salvatore Tabbone
WWW
2006
ACM
14 years 9 months ago
System for spatio-temporal analysis of online news and blogs
Previous work on spatio-temporal analysis of news items and other documents has largely focused on broad categorization of small text collections by region or country. A system fo...
Angelo Dalli
CADE
2007
Springer
14 years 9 months ago
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
Andrei Voronkov, Juan Antonio Navarro Pérez
SIGMOD
2009
ACM
171views Database» more  SIGMOD 2009»
14 years 9 months ago
Secure outsourced aggregation via one-way chains
We consider the Outsourced Aggregation model, where sensing services outsource their sensor data collection and aggregation tasks to third-party service providers called aggregato...
Suman Nath, Haifeng Yu, Haowen Chan
SIGMOD
2003
ACM
140views Database» more  SIGMOD 2003»
14 years 9 months ago
A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding
The W3C XQuery language recommendation, based on a hierarchical and ordered document model, supports a wide variety of constructs and use cases. There is a diversity of approaches...
David DeHaan, David Toman, Mariano P. Consens, M. ...