9425 search results - page 1481 / 1885 » Some Notes on Models and Modelling |
161
click to vote
RV
2007
Springer
16 years 29 days ago
2007
Springer
When monitoring a system wrt. a property defined in some temporal logic, e. g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that...
173
click to vote
SCALESPACE
2007
Springer
16 years 29 days ago
2007
Springer
The reconstruction problem is usually formulated as a variational problem in which one searches for that image that minimizes a so called prior (image model) while insisting on cer...
193
click to vote
TACAS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
147
click to vote
TCC
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper presents a very simple and efficient adaptivelysound perfect NIZK argument system for any NP-language. In contrast to recently proposed schemes by Groth, Ostro...
217
click to vote
UCS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper describes daily life activity recognition using wearable acceleration sensors attached to four different parts of the human body. The experimental data set con...