590 search results - page 67 / 118 » Some Aspects of Computable Functional Analysis |
ICMCS
2007
IEEE
14 years 3 months ago
2007
IEEE
Medical imaging has made great technological breakthroughs in multimodal acquisition, visualization, and analysis with many complementary image modalities to non-invasively captur...
ECML
2006
Springer
14 years 12 days ago
2006
Springer
This paper studies the PAC and agnostic PAC learnability of some standard function classes in the learning in higher-order logic setting introduced by Lloyd et al. In particular, i...
MDM
2004
Springer
14 years 2 months ago
2004
Springer
This position paper argues that the mobile agents paradigm is a useful and important technology enabling pervasive and ubiquitous computing. Context awareness drives adaptability ...
ICLP
2010
Springer
2010
Springer
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
13 years 6 months ago
We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to ...
ISMB
1993
13 years 10 months ago
1993
Interactions that determinecellular fate are exceedingly complex, can take place at different levels of gene regulation and involve a large numberof components(such as genes, prot...