78 search results - page 2 / 16 » Beyond static and dynamic scope |
KI
2009
Springer
14 years 2 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
ACCV
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. The detection of motion boundaries has been and remains a longstanding challenge in computer vision. In this paper, the recovery of motion boundaries is recast in a broad...
ISSTA
2012
ACM
12 years 7 days ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
CSFW
2006
IEEE
14 years 3 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
VLDB
1990
ACM
14 years 1 months ago
1990
ACM
Databaseindexing is a well studied problem. However, the advent of Hypertext databasesopensnew questionsin indexing. Searches are often demarcated by pointers between text items. ...