1585 search results - page 45 / 317 » A framework for computer-aided validation |
147
Voted
SLOGICA
1998
15 years 2 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 ...
130
click to vote
IPPS
2006
IEEE
15 years 9 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...
146
click to vote
ICC
2009
IEEE
15 years 28 days 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 ...
141
click to vote
ISNN
2005
Springer
15 years 8 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 4 months 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...