2163 search results - page 189 / 433 » cases 2004 |
163
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Simulation platforms for network processing still have difficulties in finding a good compromise between speed and accuracy. This makes it difficult to identify the caus...
179
click to vote
EWCBR
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we present an agent-based application of a wireless tourist guide that combines the Beliefs-Desires-Intentions approach with learning capabilities of Case Base Reason...
145
click to vote
FC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...
166
click to vote
FLOPS
2004
Springer
15 years 12 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
203
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...