1541 search results - page 275 / 309 » Tools and Techniques for Model Checking Networked Programs |
WSC
2008
15 years 2 months ago
2008
Semiconductor fabs often offer manufacturing service of multiple priorities in terms of cycle time-based X-factor targets (XFTs) and fab production must be planned accordingly. Th...
100
Voted
BIOINFORMATICS
2006
15 years 16 days ago
2006
Motivation Quantitative estimation of the regulatory relationship between transcription factors and genes is a fundamental stepping stone when trying to develop models of cellular...
120
Voted
ESANN
2004
15 years 1 months ago
2004
When we talk about using neural networks for data mining we have in mind the original data mining scope and challenge. How did neural networks meet this challenge? Can we run neura...
111
click to vote
WWW
2004
ACM
16 years 1 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
105
click to vote
CPAIOR
2008
Springer
15 years 2 months ago
2008
Springer
This paper extends our previous work by exploring the use of a hybrid solution method for solving the connection subgraph problem. We employ a two phase solution method, which dras...