5550 search results - page 162 / 1110 » Different Approaches to Proof Systems |
166
click to vote
TC
2010
15 years 4 months ago
2010
We consider soft real-time applications organised as pipelines of tasks using resources of different type (communication, computation, storage). The applications are assumed to be...
176
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
167
click to vote
SAC
2006
ACM
16 years 13 days ago
2006
ACM
This paper describes and evaluates various general stemming approaches for the French, Portuguese (Brazilian), German and Hungarian languages. Based on the CLEF test-collections, ...
157
click to vote
EWCBR
1994
Springer
15 years 10 months ago
1994
Springer
We propose in this paper a general framework for integrating inductive and case-based reasoning (CBR) techniques for diagnosis tasks. We present a set of practical integrated appro...
182
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper an agent-based segmentation approach is presented and discussed. The approach consists in the utilization of autonomous agents for the segmentation of a ran...