529 search results - page 84 / 106 » Property Directed Abstract Interpretation |
OPODIS
2007
14 years 12 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
16 years 14 days 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...
106
click to vote
ECCV
2002
Springer
16 years 13 days 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...
115
click to vote
ESORICS
2002
Springer
15 years 10 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
15 years 7 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...