3515 search results - page 229 / 703 » On the semantics of Strategy Logic |
174
click to vote
APAL
2007
15 years 7 months ago
2007
In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic MALLP, which is the linear fragment (without structural rules) of Olivier Laurentâ...
197
Voted
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—The integration of semantic representation and retrieval technologies into mainstream web applications depends on the ease of adoption and re-use of existing information...
204
click to vote
AH
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper, we propose a framework based on a subsymbolic approach for the support of exploratory activities in a hyperspace. By using it, it is possible to express th...
216
click to vote
CIVR
2006
Springer
15 years 11 months ago
2006
Springer
Automatic semantic classification of video databases is very useful for users searching and browsing but it is a very challenging research problem as well. Combination of visual an...
169
click to vote
DAC
2007
ACM
16 years 8 months ago
2007
ACM
tive Guidance Strategy for Abstraction-Guided Simulation Flavio M. De Paula Alan J. Hu Department of Computer Science, University of British Columbia, {depaulfm, ajh}@cs.ubc.ca D...