Sciweavers

1568 search results - page 111 / 314
» The problem of examination questions in algorithmics
Sort
View
FSTTCS
2004
Springer
15 years 9 months ago
Verifying Probabilistic Procedural Programs
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
Javier Esparza, Kousha Etessami
CIE
2006
Springer
15 years 8 months ago
On Graph Isomorphism for Restricted Graph Classes
Abstract. Graph isomorphism (GI) is one of the few remaining problems in NP whose complexity status couldn't be solved by classifying it as being either NP-complete or solvabl...
Johannes Köbler
USENIX
2000
15 years 5 months ago
Performing Replacement in Modem Pools
We examine a policy for managing modem pools that disconnects users only if not enough modems are available for other users to connect. Managing the modem pool then becomes a repl...
Yannis Smaragdakis, Paul R. Wilson
IUI
2003
ACM
15 years 9 months ago
Recommendations without user preferences: a natural language processing approach
We examine the problems with automated recommendation systems when information about user preferences is limited. We equate the problem to one of content similarity measurement an...
Michael Fleischman, Eduard H. Hovy
CRV
2007
IEEE
101views Robotics» more  CRV 2007»
15 years 8 months ago
Energy Efficient Robot Rendezvous
We examine the problem of finding a single meeting location for a group of heterogeneous autonomous mobile robots, such that the total system cost of traveling to the rendezvous i...
Pawel Zebrowski, Yaroslav Litus, Richard T. Vaugha...