16616 search results - page 358 / 3324 » Extending Extended Vacuity |
145
click to vote
IWMM
2000
Springer
15 years 10 months ago
2000
Springer
We extend Tofte and Talpin's region-based model for memory management to support backtracking and cuts, which makes it suitable for use with Prolog and other logic programmin...
159
click to vote
DLOG
2008
15 years 9 months ago
2008
Abstract. We propose an approach for extending a tableau-based satisfiability algorithm by an arithmetic component. The result is a hybrid satisfiability algorithm for the Descript...
175
click to vote
AIPR
2008
IEEE
15 years 8 months ago
2008
IEEE
The formalism of anomalous change detection, which was developed for finding unusual changes in pairs of images, is extended to sequences of more than two images. Extended algorith...
157
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper extends existing methods for information searching and sharing in large-scale, dynamic networks of agents, to deal with networks of heterogeneous agents: Agents that do...
165
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
We present a finite representation of all services M where the composition with a given service N is deadlock-free, and a given set of activities of N can be covered (i.e. is not d...