3653 search results - page 551 / 731 » Learning of Partial Languages |
132
click to vote
EUROSEC
2009
ACM
15 years 10 months ago
2009
ACM
Quantitative Trust Management (QTM) provides a dynamic interpretation of authorization policies for access control decisions based on upon evolving reputations of the entities inv...
117
click to vote
ICALP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study a model of games that combines concurrency, imperfect information and stochastic aspects. Those are finite states games in which, at each round, the two players...
156
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
152
click to vote
KI
2009
Springer
15 years 10 months ago
2009
Springer
Spoken dialogue is notoriously hard to process with standard language processing technologies. Dialogue systems must indeed meet two major challenges. First, natural spoken dialogu...
133
Voted
RR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...