36781 search results - page 6990 / 7357 » Parameterizing by the Number of Numbers |
204
click to vote
BIOINFORMATICS
2006
15 years 7 months 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...
202
click to vote
FGCS
2008
15 years 7 months ago
2008
Research interest in Grid computing has grown significantly over the past five years. Management of distributed resources is one of the key issues in Grid computing. Central to ma...
180
click to vote
FGCS
2008
15 years 7 months ago
2008
As the adoption of grid computing in organizations expands, the need for wise utilization of different types of resources also increases. A volatile resource, such as a desktop co...
175
click to vote
FUIN
2008
15 years 7 months ago
2008
We study sensor minimization problems in the context of fault diagnosis. Fault diagnosis consists in synthesizing a diagnoser that observes a given plant and identifies faults in t...
162
click to vote
FUIN
2008
15 years 7 months ago
2008
This paper is concerned with the universality problem for timed automata: given a timed automaton A, does A accept all timed words? Alur and Dill have shown that the universality p...