Sciweavers

3379 search results - page 173 / 676
» Powers of Two
Sort
View
SP
2000
IEEE
15 years 9 months ago
IRM Enforcement of Java Stack Inspection
Two implementations are given for Java’s stack-inspection accesscontrol policy. Each implementation is obtained by generating an inlined reference monitor (IRM) for a different...
Úlfar Erlingsson, Fred B. Schneider
VTS
1999
IEEE
68views Hardware» more  VTS 1999»
15 years 9 months ago
A Test Point Insertion Algorithm for Mixed-Signal Circuits
This paper presents an algorithm based on testability measurement for test point insertion of mixed-signal circuits. Two transfer function models compatible with analog models are...
Jinyan Zhang, Sam D. Huynh, Mani Soma
AAAI
2010
15 years 6 months ago
Ontologies and Representations of Matter
We carry out a comparative study of the expressive power of different ontologies of matter in terms of the ease with which simple physical knowledge can be represented. In particu...
Ernest Davis
LREC
2010
195views Education» more  LREC 2010»
15 years 6 months ago
Integration of Linguistic Markup into Semantic Models of Folk Narratives: The Fairy Tale Use Case
Propp's influential structural analysis of fairy tales created a powerful schema for representing storylines in terms of character functions, which is directly exploitable fo...
Piroska Lendvai, Thierry Declerck, Sándor D...
ACL
2006
15 years 6 months ago
Implementing a Characterization of Genre for Automatic Genre Identification of Web Pages
In this paper, we propose an implementable characterization of genre suitable for automatic genre identification of web pages. This characterization is implemented as an inferenti...
Marina Santini, Richard Power, Roger Evans