568 search results - page 77 / 114 » Composite Texture Descriptions |
ENTCS
2008
13 years 9 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
TELSYS
2002
13 years 8 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
ICWE
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. While several techniques have been introduced for specifying and acquiring context and quality information associated with Web services, they consider such information re...
TII
2010
13 years 3 months ago
2010
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
ECCV
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. There is a huge diversity of definitions of "visually meaningful" image segments, ranging from simple uniformly colored segments, textured segments, through sym...