854 search results - page 144 / 171 » Addressing Dynamic Issues of Program Model Checking |
126
click to vote
ICUIMC
2009
ACM
15 years 11 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 ...
148
click to vote
ICDM
2008
IEEE
15 years 11 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...
138
click to vote
ICDM
2008
IEEE
15 years 11 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...
153
click to vote
SERA
2007
Springer
15 years 10 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...
137
click to vote
CCGRID
2006
IEEE
15 years 10 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...