2421 search results - page 148 / 485 » Integrity Assurance Technique Using Determinant Approach |
101
click to vote
CSB
2003
IEEE
15 years 6 months ago
2003
IEEE
Reverse-engineering of gene networks using linear models often results in an underdetermined system because of excessive unknown parameters. In addition, the practical utility of ...
131
click to vote
IFM
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
100
click to vote
ISN
1999
Springer
15 years 5 months ago
1999
Springer
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...
109
click to vote
DAC
2002
ACM
16 years 1 months ago
2002
ACM
With energy consumption becoming one of the first-class optimization parameters in computer system design, compilation techniques that consider performance and energy simultaneous...
129
click to vote
MICCAI
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. This paper describes a new framework for white matter tractography in high angular resolution diffusion data. A direction-dependent local cost is defined based on the dif...