2702 search results - page 425 / 541 » Practically Applicable Formal Methods |
MOBIHOC
2006
ACM
14 years 2 months ago
2006
ACM
A large number of practical sensing and actuating applications require immediate notification of rare but urgent events and also fast delivery of time sensitive actuation command...
AAAI
2008
13 years 10 months ago
2008
When building an application that requires object class recognition, having enough data to learn from is critical for good performance, and can easily determine the success or fai...
SDM
2007
SIAM
13 years 9 months ago
2007
SIAM
Given a large sparse graph, how can we find patterns and anomalies? Several important applications can be modeled as large sparse graphs, e.g., network traffic monitoring, resea...
MVA
1990
13 years 9 months ago
1990
This paper proposes a new method for automatic fire detection in cities using image processing techniques. Images are obtained successively at regular intervals from monochrome TV...
HYBRID
2001
Springer
14 years 23 days ago
2001
Springer
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...