2322 search results - page 382 / 465 » On a game in directed graphs |
138
click to vote
LICS
2009
IEEE
16 years 28 days ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
188
click to vote
WEBI
2009
Springer
16 years 26 days ago
2009
Springer
Understanding query reformulation patterns is a key step towards next generation web search engines: it can help improving users’ web-search experience by predicting their inten...
170
click to vote
FSKD
2009
Springer
16 years 25 days ago
2009
Springer
Usually a meaningful web topic has tens of thousands of comments, especially the hot topics. It is valuable if we congregate the comments into clusters and find out the mainstrea...
164
click to vote
JSSPP
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. This paper describes a new and novel scheme for job admission and resource allocation employed by the SODA scheduler in System S. Capable of processing enormous quantitie...
165
click to vote
SEMWEB
2009
Springer
16 years 25 days ago
2009
Springer
Being able to extend an OWL ontology with some form of rules is a feature that many ontology developers consider as very important. Nevertheless, working with rules in practice can...