1095 search results - page 120 / 219 » Algebraic Guide Generation |
TCS
2002
13 years 8 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
QEST
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
ECCV
2006
Springer
14 years 11 months ago
2006
Springer
In this paper, we propose a two-level integrated model for accurate face shape alignment. At the low level, the shape is split into a set of line segments which serve as the nodes ...
ICIP
2007
IEEE
14 years 10 months ago
2007
IEEE
Wyner-Ziv video coding is a lossy source coding paradigm where the video statistics are exploited, partially or totally at the decoder. The side information represents a noisy ver...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
This paper presents a novel technique that significantly improves the quality of semantic Web service matching by (1) automatically generating ontologies based on Web service desc...