939 search results - page 88 / 188 » Semantic Abstraction and Quantum Computation |
MFCS
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
IEEESCC
2009
IEEE
13 years 7 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...
PLDI
2010
ACM
14 years 3 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
ECCV
2000
Springer
14 years 12 months ago
2000
Springer
Abstract. Recent human vision research [1] suggests modelling preattentive texture segmentation by taking a set of feature samples from a local region on each side of a hypothesize...