1005 search results - page 120 / 201 » Temporal Structures |
88
Voted
ASPDAC
2007
ACM
15 years 2 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents an approach for human activity recognition by representing the frames of the video sequence with the distribution of local motion features and their spatiotemp...
91
Voted
SIGMETRICS
2000
ACM
15 years 2 months ago
2000
ACM
This paper presents an analytical model to study how working sets scale with database size and other applications parameters in decision-support systems (DSS). The model uses appl...
CORR
2012
Springer
13 years 5 months ago
2012
Springer
We show that the log-likelihood of several probabilistic graphical models is Lipschitz continuous with respect to the p-norm of the parameters. We discuss several implications ...
98
Voted
CIVR
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents a system designed for the management of multimedia databases that embarks upon the problem of efficient media processing and representation for automatic semant...