1297 search results - page 87 / 260 » Semantic Correctness in Adaptive Process Management Systems |
HASKELL
2005
ACM
14 years 2 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
HT
2011
ACM
13 years 17 days ago
2011
ACM
One of the key motivating factors for information providers to use personalisation is to maximise the benefit to the user in accessing their content. However, traditionally such s...
GEOS
2009
Springer
14 years 1 months ago
2009
Springer
An ontology of observation and measurement is proposed, which models the relevant information processes independently of sensor technology. It is kept at a sufficiently general lev...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
Content-based image retrieval systems still have difficulties to bridge the semantic gap between the low-level representation of images and the high level concepts the user is loo...
SRDS
1999
IEEE
14 years 1 months ago
1999
IEEE
Software distributed shared memory (DSM) improves the programmability of message-passing machines and workclusters by providing a shared memory abstract (i.e., a coherent global a...