Sciweavers

3052 search results - page 87 / 611
» Weakly Distributive Domains
Sort
View
AAAI
1990
15 years 5 months ago
A Design Based Approach to Constructing Computational Solutions to Diagnostic Problems
Troubleshooting problems in real manufacturing environments impose constraints on admissible solutions that make the computational solutions offered by "troubleshooting from ...
D. Volovik, Imran A. Zualkernan, Paul E. Johnson, ...
ACL
1990
15 years 5 months ago
Structural Disambiguation with Constraint Propagation
We present a new grammatical formalism called Constraint Dependency Grammar (CDG) in which every grammatical rule is given as a constraint on wordto-word modifications. CDG parsin...
Hiroshi Maruyama
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 4 months ago
Transforming structures by set interpretations
We consider a new kind of interpretation over relational structures: finite sets interpretations. Those interpretations are defined by weak monadic second-order (WMSO) formulas w...
Thomas Colcombet, Christof Löding
AIL
1998
107views more  AIL 1998»
15 years 3 months ago
A Comparison of Four Ontologies for the Design of Legal Knowledge Systems
There is a growing interest in how people conceptualise the legal domain for the purpose of legal knowledge systems. In this paper we discuss four such conceptualisations (referred...
Pepijn R. S. Visser, Trevor J. M. Bench-Capon
JGO
2011
149views more  JGO 2011»
14 years 11 months ago
A logarithmic-quadratic proximal point scalarization method for multiobjective programming
We present a proximal point method to solve multiobjective problems based on the scalarization for maps. We build a family of a convex scalar strict representation of a convex map...
Ronaldo Gregório, Paulo Roberto Oliveira