2468 search results - page 315 / 494 » Aggregation operators 2003 |
CIVR
2003
Springer
14 years 2 months ago
2003
Springer
We are trying to integrate television cooking videos with corresponding cookbooks. The cookbook has the advantage of the capability to easily browse through a cooking procedure, bu...
CONCUR
2003
Springer
14 years 2 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...
CONTEXT
2003
Springer
14 years 2 months ago
2003
Springer
We describe a software development approach for vision that enhances robustness by making novel use of context. Conventional approaches to most image understanding problems suffe...
CSL
2003
Springer
14 years 2 months ago
2003
Springer
Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...
DALT
2003
Springer
14 years 2 months ago
2003
Springer
Computees are abstractions of the entities that populate global and open computing environments. The societies that they populate give an institutional meaning to their interaction...