2060 search results - page 330 / 412 » The Composition of Event-B Models |
129
click to vote
DAC
2007
ACM
15 years 8 months ago
2007
ACM
It is now widely believed that FlexRay will emerge as the predominant protocol for in-vehicle automotive communication systems. As a result, there has been a lot of recent interes...
159
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
145
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Kernel-based learning algorithms are among the most advanced machine learning methods and have been successfully applied to a variety of sequence classification tasks ...
171
click to vote
ACIVS
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. Crowd behavior recognition is becoming an important research topic in video surveillance for public places. In this paper, we first discuss the crowd feature selection a...
133
click to vote
CVPR
2001
IEEE
16 years 6 months ago
2001
IEEE
See a PPT file with videos at www.research.microsoft.com/users/jojic/FlexiblesSprites.htm We propose a technique for automatically learning layers of "flexible sprites" ...