529 search results - page 84 / 106 » Property Directed Abstract Interpretation |
OPODIS
2007
13 years 9 months ago
2007
Abstract. Grid monitoring systems collect a substantial amount of information on the infrastructure’s status in order to perform various tasks, more commonly to provide a better ...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. We introduced an algorithm for sequence alignment, based on maximizing local space-time correlations. Our algorithm aligns sequences of the same action performed at diffe...
ECCV
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. The plane-based calibration consists in recovering the internal parameters of the camera from the views of a planar pattern with a known geometric structure. The existing...
ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
ICCD
2006
IEEE
14 years 4 months ago
2006
IEEE
— The latest development of hardware design and ation methodologies shows a trend towards abstraction levels higher than RTL, referred to as transaction level (TL). Transaction l...