854 search results - page 144 / 171 » Addressing Dynamic Issues of Program Model Checking |
106
Voted
ICUIMC
2009
ACM
15 years 8 months ago
2009
ACM
Although documents have hundreds of thousands of unique words, only a small number of words are significantly useful for intelligent services. For this reason, feature extraction ...
128
Voted
ICDM
2008
IEEE
15 years 8 months ago
2008
IEEE
Event detection is a critical task in sensor networks, especially for environmental monitoring applications. Traditional solutions to event detection are based on analyzing one-sh...
120
Voted
ICDM
2008
IEEE
15 years 8 months ago
2008
IEEE
Knowledge discovery from temporal, spatial and spatiotemporal data is critical for climate change science and climate impacts. Climate statistics is a mature area. However, recent...
127
Voted
SERA
2007
Springer
15 years 8 months ago
2007
Springer
Component-based development has become a recognized technique for building large scale distributed applications. Although the maturity of this technique, there appears to be quite...
116
click to vote
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
As the scale of cluster computing grows, it is becoming hard for long-running applications to complete without facing failures on large-scale clusters. To address this issue, chec...