3515 search results - page 226 / 703 » On the semantics of Strategy Logic |
200
click to vote
ACL
2003
15 years 8 months ago
2003
This paper discusses the challenges and proposes a solution to performing information retrieval on the Web using Chinese natural language speech query. The main contribution of th...
213
Voted
ICSE
2008
IEEE-ACM
16 years 8 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
210
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
This paper summarizes the results of the X-SOM tool in the OAEI 2007 campaign. X-SOM is an extensible ontology mapper that combines various matching algorithms by means of a feed-f...
199
click to vote
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
Semantic matching determines the mappings between the nodes of two graphs (e.g., ontologies) by computing logical relations (e.g., subsumption) holding among the nodes that corresp...
151
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
We study xpoints of operators on lattices. To this end we introduce the notion of an approximation of an operator. We order approximations by means of a precision ordering. We sho...