5284 search results - page 804 / 1057 » Ontologizing Semantic Relations |
166
click to vote
AIPS
2009
15 years 7 months ago
2009
We provide a theoretical analysis of planning via Petri net unfolding, a novel technique for synthesising parallel plans. Parallel plans are generally valued for their execution f...
156
click to vote
COMAD
2009
15 years 7 months ago
2009
Terms in textual documents tend to occur more in contexts to which they are related. We can exploit this bias by modelling terms and their cooccurrences s, resembling the abstract...
173
click to vote
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
200
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
178
click to vote
JLP
2007
15 years 6 months ago
2007
The behavioral equivalence that is typically used to relate Markovian process terms and to reduce their underlying state spaces is Markovian bisimilarity. One of the reasons is th...