9067 search results - page 1553 / 1814 » Adaptive Model Checking |
192
click to vote
WSC
2004
15 years 8 months ago
2004
This paper introduces and summarizes a comprehensive systems approach guiding an ongoing project addressing these significant challenges confronting logistics transformation. Curr...
164
click to vote
NIPS
2003
15 years 8 months ago
2003
Biochemical signal-transduction networks are the biological information-processing systems by which individual cells, from neurons to amoebae, perceive and respond to their chemic...
189
click to vote
ECIR
1998
Springer
15 years 8 months ago
1998
Springer
Modern extensible database systems support multimedia data through ADTs. However, because of the problems with multimedia query formulation, this support is not sufficient. Multim...
226
click to vote
ESANN
2000
15 years 8 months ago
2000
Planing the operation in modern power systems requires suitable anticipation of load evolution at different levels of distribution network. Under this perspective, load forecasting...
208
click to vote
SODA
1998
ACM
15 years 8 months ago
1998
ACM
We present the first polylog-competitive online algorithm for the general multicast admission control and routing problem in the throughput model. The ratio of the number of reque...