Sciweavers

353 search results - page 54 / 71
» A Family of Data-Parallel Derivations
Sort
View
BIRTHDAY
2008
Springer
14 years 27 days ago
A Heterogeneous Approach to UML Semantics
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
María Victoria Cengarle, Alexander Knapp, A...
AIML
2006
14 years 9 days ago
From topology to metric: modal logic and quantification in metric spaces
We propose a framework for comparing the expressive power and computational behaviour of modal logics designed for reasoning about qualitative aspects of metric spaces. Within this...
Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter,...
APPINF
2003
14 years 9 days ago
C-QM: A Practical Quality Model for Evaluating COTS Components
A commercial-off-the-shelf (COTS) component is an implementation of common functionality among family members, where an in-house component implements an organization-specific func...
Soo Dong Kim, Ji Hwan Park
UAI
2004
14 years 8 days ago
Variational Chernoff Bounds for Graphical Models
Recent research has made significant progress on the problem of bounding log partition functions for exponential family graphical models. Such bounds have associated dual paramete...
Pradeep D. Ravikumar, John D. Lafferty
AAAI
2000
14 years 8 days ago
Extracting Effective and Admissible State Space Heuristics from the Planning Graph
Graphplan and heuristic state space planners such as HSP-R and UNPOP are currently two of the most effective approaches for solving classical planning problems. These approaches h...
XuanLong Nguyen, Subbarao Kambhampati