2944 search results - page 366 / 589 » On Well Quasi-orders on Languages |
163
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
Trevisan has shown that constructions of pseudo-random generators from hard functions (the Nisan-Wigderson approach) also produce extractors. We show that constructions of pseudo-r...
227
click to vote
ICTAC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Role-based access control (RBAC) is recognized as an excellent model for access control in large-scale networked applications. Formalization of RBAC in a logical approach...
159
click to vote
IFIP
2005
Springer
16 years 3 days ago
2005
Springer
In this paper we analyze the electricity portfolio problem of a big consumer in a multi-stage stochastic programming framework. Stochasticity enters the model via the uncertain spo...
139
click to vote
INTETAIN
2005
Springer
16 years 3 days ago
2005
Springer
Webcrow is a software system whose aim is to solve crosswords. Problems of like solving crosswords have been informally defined as AI-Complete and are extremely challenging for ma...
193
click to vote
MFCS
2005
Springer
16 years 2 days ago
2005
Springer
This paper investigates the word problem for inverse monoids generated by a set Γ subject to relations of the form e = f, where e and f are both idempotents in the free inverse m...