5671 search results - page 618 / 1135 » A Semantic Approach to Interpolation |
165
click to vote
APAL
2002
15 years 7 months ago
2002
A notion called Herbrand saturation is shown to provide the modeltheoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a nu...
155
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
This paper discusses differences in the semantics of various semaphore implementations and their ramifications in developing solutions to synchronization problems. An approach is ...
179
click to vote
ACL
2010
15 years 5 months ago
2010
We propose CMSMs, a novel type of generic compositional models for syntactic and semantic aspects of natural language, based on matrix multiplication. We argue for the structural ...
192
click to vote
IEEESCC
2009
IEEE
15 years 4 months ago
2009
IEEE
Choreography changes performed by one party may affect other parties. The changes and the implication for other parties can be determined. However, the required changes on the orc...
315
click to vote
Publication
We present a new approach for activity modelling and anomaly detection based on non-parametric Gaussian Process (GP) models. Specifically, GP regression models are formulated to l...