280 search results - page 35 / 56 » Constraint Systems for Pattern Analysis of Constraint Logic-... |
117
click to vote
EDOC
2002
IEEE
15 years 4 months ago
2002
IEEE
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...
EACL
2010
ACL Anthology
15 years 1 months ago
2010
ACL Anthology
Georeferenced data sets are often large and complex. Natural Language Generation (NLG) systems are beginning to emerge that generate texts from such data. One of the challenges th...
123
click to vote
ACMACE
2008
ACM
15 years 1 months ago
2008
ACM
BeatBender is a computer music project that explores a new method for generating emergent rhythmic drum patterns using the subsumption architecture. Rather than explicitly coding ...
ESOP
2007
Springer
15 years 5 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
ICEIS
2006
IEEE
15 years 5 months ago
2006
IEEE
The satisfiability test checks, whether or not the evaluation of a query returns the empty set for any input document, and can be used in query optimization for avoiding the submis...