1513 search results - page 199 / 303 » Semantic Business Process Analysis |
137
click to vote
CCS
2004
ACM
15 years 11 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
137
click to vote
TSD
2004
Springer
15 years 11 months ago
2004
Springer
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...
186
click to vote
EMNLP
2008
15 years 7 months ago
2008
We introduce the relative rank differential statistic which is a non-parametric approach to document and dialog analysis based on word frequency rank-statistics. We also present a...
144
click to vote
ICIP
2003
IEEE
16 years 7 months ago
2003
IEEE
In this paper, we discuss meetings as an application domain for multimedia content analysis. Meeting databases are a rich data source suitable for a variety of audio, visual and m...
250
click to vote
ICIP
2001
IEEE
16 years 7 months ago
2001
IEEE
In this paper constrained Gradient Vector Flow (GVF) field generation is performed, for fast and accurate unsupervised stereoscopic semantic segmentation. The scheme utilizes the ...