Search Sciweavers | Sciweavers

3780 search results - page 81 / 756

» Algorithms for Game Metrics

102

click to vote

SOFSEM
2010
Springer

107views Theoretical Computer Science» more SOFSEM 2010»

Linear Complementarity Algorithms for Infinite Games

16 years 1 months ago

Download www.sofsem.cz

John Fearnley, Marcin Jurdzinski, Rahul Savani

claim paper

Read More »

129

click to vote

TIME
2009
IEEE

240views Automated Reasoning» more TIME 2009»

Simple Algorithm for Simple Timed Games

15 years 11 months ago

Download www.liafa.jussieu.fr

Yasmina Abdeddaïm, Eugene Asarin, Mihaela Sig...

claim paper

Read More »

102

click to vote

FMCAD
2009
Springer

132views Formal Methods» more FMCAD 2009»

Safety first: A two-stage algorithm for LTL games

15 years 11 months ago

Download fmv.jku.at

Saqib Sohail, Fabio Somenzi

claim paper

Read More »

112

click to vote

MOBIDE
2009
ACM

146views Computer Networks» more MOBIDE 2009»

Demonstrating an evacuation algorithm with mobile devices using an e-scavenger hunt game

15 years 11 months ago

Download rodos.cs.pitt.edu

×Ù ÐØ × Ò Ñ Ö Ò Ý × ØÙ Ø ÓÒ× Ö Ó Ø Ò Ù× Ý Ô Ò Ò Ò × × Û Ö Ù Ð Ò Ú Ù Ø ÓÒ × Ö ÕÙ Ö ¸ Ø Ý Ö Ó Ø Ò Ù× Ý ×ÓÖ Ò Þ Ú ...

Jesse Szwedko, Callen Shaw, Alexander G. Connor, A...

claim paper

Read More »

click to vote

CONCUR
2005
Springer

84views Distributed And Parallel Com...» more CONCUR 2005»

Efficient On-the-Fly Algorithms for the Analysis of Timed Games

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers