5015 search results - page 221 / 1003 » Model Checking a Path |
182
click to vote
FORMATS
2009
Springer
16 years 29 days ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
217
click to vote
WIDM
2005
ACM
15 years 12 months ago
2005
ACM
Markov models have been widely used for modelling users' navigational behaviour in the Web graph, using the transitional probabilities between web pages, as recorded in the w...
148
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Weaddress the issue ofEuclideanpath mu& ling ina single camerafor activity monitoring in a multi-camera video surveillance system m e paperpmposes a novel linear solufwnro aut...
193
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
165
click to vote
AAAI
2007
15 years 8 months ago
2007
Sparsity-promoting L1-regularization has recently been succesfully used to learn the structure of undirected graphical models. In this paper, we apply this technique to learn the ...