1157 search results - page 70 / 232 » Descriptive Complexity and Model Checking |
DLOG
2009
14 years 7 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
102
click to vote
MIAR
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract. A main focus of statistical shape analysis is the description of variability of a population of geometric objects. In this paper, we present work in progress towards mode...
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
Providing real-time multimedia services over a best-effort network is challenging due to the stringent delay requirements in the presence of complex network dynamics. Multiple des...
ICIP
2002
IEEE
15 years 11 months ago
2002
IEEE
Color is one of the main visual cues and has been frequently used in image processing, analysis and retrieval. The extraction of highlevel color descriptors is an increasingly imp...
COLING
2010
14 years 4 months ago
2010
Our goal is to propose a description model for the lexicon. We describe a software framework for representing the lexicon and its variations called Proteus. Various examples show ...