2763 search results - page 95 / 553 » The Dangerous 'All' in Specifications |
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
We present algorithms for improved Viterbi decoding for the case of hidden semi-Markov models. By carefully constructing directed acyclic graphs, we pose the decoding problem as t...
GIS
2008
ACM
14 years 10 months ago
2008
ACM
Isochrones are defined as the set of all points from which a specific point of interest is reachable within a given time span. This demo paper presents a solution to compute isoch...
AGILEDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Over the last few years we have had the good fortune to aggressively apply the agile practices on a number of projects with great success. These successes, however, have not been ...
DEXAW
2008
IEEE
14 years 3 months ago
2008
IEEE
– We describe a method to extract content text from diverse Web pages by using the HTML document’s Text-to-Tag Ratio rather than specific HTML cues that may not be constant acr...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...