1754 search results - page 195 / 351 » Games with Incomplete Information |
191
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
179
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
151
click to vote
AAAI
2007
15 years 8 months ago
2007
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
198
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Ontology alignment is regarded as one of the core tasks in many Web services. It is concerned with finding the correspondences between separate ontologies by identifying concepts ...
172
click to vote
DOCENG
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we present an analysis based on linguistic and typographic features that allows for the identification of titles in web documents. We focus in particular on procedu...