4285 search results - page 374 / 857 » Differential Behavioral Analysis |
191
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
Dynamic events can be regarded as long-term temporal objects, which are characterized by spatio-temporal features at multiple temporal scales. Based on this, we design a simple st...
168
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
The images of an outdoor scene collected over time are valuable in studying the scene appearance variation which can lead to novel applications and help enhance existing methods t...
179
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
183
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
We analyze the social network emerging from the user comment activity on the website Slashdot. The network presents common features of traditional social networks such as a giant ...
157
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...