Search Sciweavers | Sciweavers

4435 search results - page 77 / 887

» Algorithms, games, and the internet

click to vote

TIME
2009
IEEE

240views Automated Reasoning» more TIME 2009»

Simple Algorithm for Simple Timed Games

14 years 4 months ago

Download www.liafa.jussieu.fr

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

claim paper

Read More »

click to vote

FMCAD
2009
Springer

132views Formal Methods» more FMCAD 2009»

Safety first: A two-stage algorithm for LTL games

14 years 4 months ago

Download fmv.jku.at

Saqib Sohail, Fabio Somenzi

claim paper

Read More »

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

14 years 4 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

14 years 3 months ago

Download www.irccyn.ec-nantes.fr

Franck Cassez, Alexandre David, Emmanuel Fleury, K...

claim paper

Read More »

click to vote

SIGECOM
2003
ACM

154views ECommerce» more SIGECOM 2003»

A polynomial-time nash equilibrium algorithm for repeated games

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers