3994 search results - page 584 / 799 » A Linear Logical Framework |
167
click to vote
HPCC
2005
Springer
16 years 20 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...
205
click to vote
WILF
2005
Springer
16 years 19 days 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...
196
click to vote
PROMAS
2004
Springer
16 years 15 days ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....
184
click to vote
COMPSAC
2003
IEEE
16 years 13 days ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
284
click to vote
ITC
2003
IEEE
16 years 13 days ago
2003
IEEE
This paper describes a new post-silicon validation problem for diagnosing systematic timing errors. We illustrate the differences between timing validation and the traditional log...