Sciweavers

3926 search results - page 510 / 786
» Deriving Information Requirements from Responsibility Models
Sort
View
CACM
2010
179views more  CACM 2010»
15 years 7 months ago
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
Peter Sewell, Susmit Sarkar, Scott Owens, Francesc...
SEBD
2007
148views Database» more  SEBD 2007»
15 years 8 months ago
Containment of Conjunctive Object Meta-Queries
We consider the problem of query containment over an object data model derived from F-logic. F-logic has generated considerable interest commercially, in the academia, and within ...
Andrea Calì, Michael Kifer
DASFAA
2011
IEEE
270views Database» more  DASFAA 2011»
14 years 11 months ago
AutoBayesian: Developing Bayesian Networks Based on Text Mining
Bayesian network is a widely used tool for data analysis, modeling and decision support in various domains. There is a growing need for techniques and tools which can automatically...
Sandeep Raghuram, Yuni Xia, Jiaqi Ge, Mathew Palak...
CORR
2010
Springer
90views Education» more  CORR 2010»
15 years 7 months ago
AMP: A Science-driven Web-based Application for the TeraGrid
The Asteroseismic Modeling Portal (AMP) provides a webbased interface for astronomers to run and view simulations that derive the properties of Sun-like stars from observations of...
Matthew Woitaszek, Travis Metcalfe, Ian Shorrock
ECSQARU
2001
Springer
15 years 11 months ago
New Semantics for Quantitative Possibility Theory
New semantics for numerical values given to possibility measures are provided. For epistemic possibilities, the new approach is based on the semantics of the transferable belief m...
Didier Dubois, Henri Prade, Philippe Smets