1950 search results - page 258 / 390 » Lambda-Free Logical Frameworks |
145
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
This work focuses on an emerging extension to traditional agent models, called Hierarchical Mobile Agents model, where an agent can contain other agents recursively. The model ena...
169
click to vote
AUSAI
2005
Springer
16 years 2 days ago
2005
Springer
This paper addresses the problem of scheduling jobs in soft real-time systems, where the utility of completing each job decreases over time. We present a utility-based framework fo...
149
click to vote
HPCC
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Numerical simulations can be the key to the thorough understanding of the multi-dimensional nature of transient detonation waves. But the accurate approximation of realis...
185
click to vote
WILF
2005
Springer
16 years 5 hour ago
2005
Springer
Aim of this work is to apply a novel comprehensive machine learning tool for data mining to preprocessing and interpretation of gene expression data. Furthermore, some visualizatio...
201
click to vote
CSCLP
2004
Springer
15 years 12 months ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...