1356 search results - page 123 / 272 » A variable-free dynamic semantics |
101
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Code theft is a threat for companies that consider code as a core asset. A birthmark can help them to prove code theft by identifying intrinsic properties of a program. Two progra...
132
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
122
click to vote
FASE
1998
Springer
15 years 8 months ago
1998
Springer
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...
123
Voted
WSC
2008
15 years 6 months ago
2008
In this paper we lay the foundations for studying decisionmaking in complex dynamic construction management scenarios using situational simulations as experimental testbeds. We dr...
129
click to vote
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
Clustering video sequences in order to infer and extract activities from a single video stream is an extremely important problem and has significant potential in video indexing, s...