692 search results - page 8 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
103
Voted
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
125
click to vote
AUSAI
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper presents a complete visual surveillance system for automatic scene interpretation of airport aprons. The system comprises two main modules — Scene Tracking a...
IKE
2007
15 years 1 months ago
2007
Abstract – The method of latent semantic indexing (LSI) is well known for tackling the synonymy and polysemy problems in information retrieval. However, its performance can be ve...
JASIS
2010
14 years 10 months ago
2010
Abstract – The method of latent semantic indexing (LSI) is well known for tackling the synonymy and polysemy problems in information retrieval. However, its performance can be ve...
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we model coupled genetic and metabolic networks as hybrid systems. The vector fields are multi - affine, i.e., have only product - type nonlinearities to a...