590 search results - page 67 / 118 » Some Aspects of Computable Functional Analysis |
153
click to vote
ICMCS
2007
IEEE
16 years 14 days 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...
164
click to vote
ECML
2006
Springer
15 years 9 months 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...
168
click to vote
MDM
2004
Springer
15 years 11 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 ...
192
click to vote
ICLP
2010
Springer
2010
Springer
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
15 years 4 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 ...
178
click to vote
ISMB
1993
15 years 7 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...