Sciweavers

8768 search results - page 25 / 1754
» Generalizing the notion of support
Sort
View
FMCO
2003
Springer
188views Formal Methods» more  FMCO 2003»
15 years 7 months ago
Consistency Management Within Model-Based Object-Oriented Development of Components
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
Jochen Malte Küster, Gregor Engels
DEXA
2007
Springer
89views Database» more  DEXA 2007»
15 years 8 months ago
Dependency Management for the Preservation of Digital Information
Abstract. The notion of dependency is ubiquitous. This paper approaches this notion from the perspective of digital information preservation. At first, an abstract notion of modul...
Yannis Tzitzikas
ENTCS
2006
172views more  ENTCS 2006»
15 years 1 months ago
Locality of Queries and Transformations
Locality is a standard notion of finite model theory. There are two well known flavors of it, based on Hanf's and Gaifman's theorems. Essentially they say that structure...
Leonid Libkin
NIPS
2007
15 years 3 months ago
Stability Bounds for Non-i.i.d. Processes
The notion of algorithmic stability has been used effectively in the past to derive tight generalization bounds. A key advantage of these bounds is that they are designed for spec...
Mehryar Mohri, Afshin Rostamizadeh
FLAIRS
2008
15 years 4 months ago
A New Approach to Model-Based Diagnosis Using Probabilistic Logic
We describe a new approach to model construction using transfer function diagrams that are consequently mapped into generalized loopy logic, a first-order, Turing-complete stochas...
Nikita A. Sakhanenko, Roshan Rammohan, George F. L...