1585 search results - page 45 / 317 » A framework for computer-aided validation |
118
click to vote
SLOGICA
1998
14 years 11 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
102
click to vote
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
Performance and workload modeling has numerous uses at every stage of the high-end computing lifecycle: design, integration, procurement, installation and tuning. Despite the trem...
111
click to vote
ICC
2009
IEEE
14 years 9 months ago
2009
IEEE
Nowadays, the web-based architecture is the most frequently used for a wide range of internet services, as it allows to easily access and manage information and software on remote ...
101
click to vote
ISNN
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents a learning framework for blind source separation (BSS), in which the BSS is formulated as generalized Eigenvalue (GE) problem. Compared to the typical informati...
MICCAI
2002
Springer
16 years 21 days ago
2002
Springer
We propose a general approach to the reconstruction of brain white matter geometry from diffusion-weighted data. This approach is based on an inverse problem framework. The optimal...