716 search results - page 49 / 144 » Rule Formats for Timed Processes |
FORMATS
2004
Springer
14 years 1 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
CIKM
2005
Springer
14 years 1 months ago
2005
Springer
Despite the recent advances in search quality, the fast increase in the size of the Web collection has introduced new challenges for Web ranking algorithms. In fact, there are sti...
DICTA
2003
13 years 9 months ago
2003
Color quantization is the process of grouping n data points to k cluster. We proposed a new approach, based on Wu’s color quantization [6]. Our approach can significantly reduce ...
ICCV
2005
IEEE
14 years 9 months ago
2005
IEEE
In most cases when information is to be extracted from an image, there are priors available on the state of the world and therefore on the detailed measurements which will be obta...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— Cooperative steering controls enable mobile sampling platforms to conduct synoptic, adaptive surveys of dynamic spatiotemporal processes by appropriately regulating the...