1097 search results - page 92 / 220 » Revision Programming = Logic Programming Integrity Constra... |
140
Voted
SIGMOD
2004
ACM
15 years 8 months ago
2004
ACM
Information in today’s enterprises commonly resides in a variety of heterogeneous data sources, including relational databases, web services, files, packaged applications, and c...
216
Voted
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
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...
130
click to vote
CP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
136
click to vote
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
Alternating timed automata on infinite words are considered. The main result is a characterization of acceptance conditions for which the emptiness problem for the automata is deci...
166
click to vote
COCOS
2003
Springer
15 years 8 months ago
2003
Springer
We investigate some approaches to solving nonconvex global optimization problems by convex nonlinear programming methods. We assume that the problem becomes convex when selected va...