Sciweavers

5130 search results - page 304 / 1026
» Constraint Query Languages
Sort
View
VL
2005
IEEE
105views Visual Languages» more  VL 2005»
16 years 5 days ago
A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views
In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple view...
Esther Guerra, Paloma Díaz, Juan de Lara
ULPAA
1994
120views Hardware» more  ULPAA 1994»
15 years 8 months ago
EMail With A Mind of Its Own: The Safe-Tcl Language for Enabled Mail
A uniform extension language for email systems can radically extend the utility of electronic mail, simplifying the construction of mail-based services and permitting the delivery...
Nathaniel S. Borenstein
ICLP
2009
Springer
16 years 7 months ago
Constraint Answer Set Solving
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
Martin Gebser, Max Ostrowski, Torsten Schaub
CP
2005
Springer
16 years 4 days ago
Domain Reduction for the Circuit Constraint
Abstract. We present an incomplete filtering algorithm for the circuit constraint. The filter removes redundant values by eliminating nonHamiltonian edges from the associated gra...
Latife Genç Kaya, John N. Hooker
CP
2003
Springer
15 years 12 months ago
Constraint-Based Optimization with the Minimax Decision Criterion
Abstract. In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which users have preferences. We consider the problem of...
Craig Boutilier, Relu Patrascu, Pascal Poupart, Da...