5243 search results - page 188 / 1049 » Reasoning About Strategies |
157
click to vote
CP
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we describe a paradigm for contentfocused matchmaking, based on a recently proposed model for constraint acquisition-and-satisfaction. Matchmaking agents are conceiv...
175
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Accelerating the learning curve of software maintainers working on systems with which they have little familiarity motivated this study. A working hypothesis was that automated me...
174
click to vote
CATA
2003
15 years 8 months ago
2003
The multi-block overset grid method is a powerful technique for high-fidelity computational fluid dynamics (CFD) simulations about complex aerospace configurations. The solutio...
170
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Debugging is an important prerequisite for the wide-spread application of ontologies, especially in areas that rely upon everyday users to create and maintain knowledge b...
172
click to vote
LOPSTR
2004
Springer
15 years 12 months ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...