4166 search results - page 294 / 834 » Automating the constraining process |
124
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
The structure of Internet applications and scenarios is changing rapidly today. This offers new potential for established technologies and methods to expand their area of applicat...
117
click to vote
ASP
2001
Springer
15 years 9 months ago
2001
Springer
This workpresents a newlogical characterization of well foundedsemanticsthat provides, as interesting innovation, a fully semantic-oriented treatment of programconnectives without...
141
click to vote
KR
1998
Springer
15 years 8 months ago
1998
Springer
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
155
click to vote
LICS
1994
IEEE
15 years 8 months ago
1994
IEEE
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...
137
click to vote
BPM
2009
Springer
15 years 8 months ago
2009
Springer
Business workflow management and business process modeling are mature research areas, whose roots go far back to the early days of office automation systems. Scientific workflow ma...