12257 search results - page 514 / 2452 » Analysis of Algorithms |
179
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
156
click to vote
DGO
2006
15 years 7 months ago
2006
To support rule-writers, we are developing techniques to automatically analyze large number of public comments on proposed regulations. A document is analyzed in various ways incl...
165
click to vote
ICIP
2001
IEEE
16 years 7 months ago
2001
IEEE
The popularity of zonal based algorithms for block based motion estimation has been recently increasing due to their superior performance in both terms of reduced complexity and s...
181
click to vote
COMPLIFE
2006
Springer
15 years 10 months ago
2006
Springer
Flux coupling analysis is a method to identify blocked and coupled reactions in a metabolic network at steady state. We present a new approach to flux coupling analysis, which uses...
151
click to vote
ICA
2004
Springer
15 years 11 months ago
2004
Springer
Post-nonlinear (PNL) independent component analysis (ICA) is a generalisation of ICA where the observations are assumed to have been generated from independent sources by linear mi...