13987 search results - page 623 / 2798 » The Two Guards Problem |
216
click to vote
TACAS
2004
Springer
16 years 20 days ago
2004
Springer
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
189
click to vote
WEBI
2004
Springer
16 years 19 days ago
2004
Springer
Content analysis and citation analysis are two common methods in recommending system. Compared with content analysis, citation analysis can discover more implicitly related papers...
200
click to vote
CSB
2003
IEEE
16 years 18 days ago
2003
IEEE
The design of large scale DNA microarrays is a challenging problem. So far, probe selection algorithms must trade the ability to cope with large scale problems for a loss of accur...
160
click to vote
CAV
2003
Springer
16 years 16 days ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
232
click to vote
NOMS
2002
IEEE
16 years 7 days ago
2002
IEEE
We present fault localization techniques suitable for diagnosing end-to-end service problems in communication systems with complex topologies. We refine a layered system model th...