Sciweavers

4047 search results - page 260 / 810
» Some Properties and Some Problems on Set Functors
Sort
View
SLE
2009
Springer
16 years 1 months ago
Composing Feature Models
Feature modeling is a widely used technique in Software Product Line development. Feature models allow stakeholders to describe domain concepts in terms of commonalities and diffe...
Mathieu Acher, Philippe Collet, Philippe Lahire, R...
TSD
2007
Springer
16 years 18 days ago
Inducing Classes of Terms from Text
This paper describes a clustering method for organizing in semantic classes a list of terms. The experiments were made using a POS annotated corpus, the ACL Anthology, which consis...
Pablo Gamallo, Gabriel Pereira Lopes, Alexandre Ag...
SAS
2005
Springer
132views Formal Methods» more  SAS 2005»
15 years 12 months ago
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
Roberto Bagnara, Enric Rodríguez-Carbonell,...
MFDBS
1991
125views Database» more  MFDBS 1991»
15 years 10 months ago
A Relational Algebra for Complex Objects Based on Partial Information
We study an approach to relational databases which treats relations not as subsets of a Cartesian product but as subsets of some domain { a partially ordered space of descriptions...
Leonid Libkin
AIPS
2007
15 years 8 months ago
Angelic Semantics for High-Level Actions
High-level actions (HLAs) lie at the heart of hierarchical planning. Typically, an HLA admits multiple refinements into primitive action sequences. Correct descriptions of the ef...
Bhaskara Marthi, Stuart J. Russell, Jason Wolfe