5550 search results - page 134 / 1110 » Different Approaches to Proof Systems |
153
click to vote
WPES
2005
ACM
15 years 12 months ago
2005
ACM
This paper introduces a novel approach for augmenting attributebased access control systems in a way that allows them to offer fully anonymous access to resources while at the sam...
178
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
An offline recognition system for Arabic handwritten words is presented. The recognition system is based on a semi-continuous 1-dimensional HMM. From each binary word image norma...
132
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We study large population stochastic dynamic games where each agent receives influences from multi-classes of agents according to intra- and inter-subpopulation cost coupling....
248
click to vote
RSP
1998
IEEE
15 years 10 months ago
1998
IEEE
STEP is an ISO standard (ISO-10303) for the computerinterpretable representation and exchange of product data. Parts of STEP standardize conceptual structures and usage ofinformat...
160
click to vote
COLING
1996
15 years 7 months ago
1996
Two problematic issues in most lexicon systems today are their size and restricted domain of use. In this paper, we introduce a new approach to lexical organization that leads to ...