Search Sciweavers | Sciweavers

8928 search results - page 87 / 1786

» Modeling Current Events

141

click to vote

ICPR
2004
IEEE

172views computer vision» more ICPR 2004»

Learned Probabilistic Image Motion Models for Event Detection in Videos

16 years 7 months ago

Download www.irisa.fr

Gwenaëlle Piriou, Jian-Feng Yao, Patrick Bout...

claim paper

Read More »

118

click to vote

FMICS
2009
Springer

151views Formal Methods» more FMICS 2009»

Visualising Event-B Models with B-Motion Studio

16 years 22 days ago

Download www.stups.uni-duesseldorf.de

Lukas Ladenberger, Jens Bendisposto, Michael Leusc...

claim paper

Read More »

138

click to vote

ECRTS
2008
IEEE

153views Embedded Systems» more ECRTS 2008»

Advanced Hierachical Event-Stream Model

16 years 19 days ago

Download www.uni-ulm.de

Karsten Albers, Frank Bodmann, Frank Slomka

claim paper

Read More »

164

click to vote

DEPCOS
2006
IEEE

93views Hardware» more DEPCOS 2006»

Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers

16 years 7 days ago

Download home.mit.bme.hu

Zoltán Micskei, István Majzik

claim paper

Read More »

110

click to vote

TPHOL
2005
IEEE

79views Automated Reasoning» more TPHOL 2005»

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers