716 search results - page 51 / 144 » Rule Formats for Timed Processes |
JFR
2007
13 years 7 months ago
2007
We describe a Simultaneous Localization and Mapping (SLAM) method for a hovering underwater vehicle that will explore underwater caves and tunnels, a true three dimensional (3D) e...
QEST
2005
IEEE
14 years 1 months ago
2005
IEEE
A framework to assess transient performance measures is introduced by generalizing the theory of the quasi Birthand-Death (QBD) paradigm to QBDs with marked time epochs (QBDm ). T...
PADS
2004
ACM
14 years 1 months ago
2004
ACM
An eļ¬cient cancellation scheme is essential to the performance of Time Warp simulations. The pitfalls of rollback echoes, chasing hazards and cascading rollbacks can be identiļ¬...
WWW
2001
ACM
14 years 8 months ago
2001
ACM
First generation Web-content encodes information in handwritten (HTML) Web pages. Second generation Web content generates HTML pages on demand, e.g. by filling in templates with c...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
A statistical framework for modeling and prediction of binary matrices is presented. The method is applied to social network analysis, speciļ¬cally the database of US Supreme Cou...