Sciweavers

5756 search results - page 877 / 1152
» Describing Objects by their Attributes
Sort
View
CARDIS
2000
Springer
107views Hardware» more  CARDIS 2000»
15 years 11 months ago
JCCap: Capability-based Access Control for Java Card
: This paper describes JCCap, a protection facility for cooperating applications in the context of Java Card. It enables the control of access rights between mutually suspicious ap...
Daniel Hagimont, Jean-Jacques Vandewalle
ICCAD
1999
IEEE
86views Hardware» more  ICCAD 1999»
15 years 11 months ago
Clock skew scheduling for improved reliability via quadratic programming
This paper considers the problem of determining an optimal clock skew schedule for a synchronous VLSI circuit. A novel formulation of clock skew scheduling as a constrained quadrat...
Ivan S. Kourtev, Eby G. Friedman
HICSS
1997
IEEE
89views Biometrics» more  HICSS 1997»
15 years 11 months ago
Text Types in Hypermedia
The discipline of narratology has long recognized the need to classify documents as instances of different text types. We have discovered that classification is as applicable to h...
Stephen W. Smoliar, James D. Baker
KR
2000
Springer
15 years 10 months ago
Reasoning with Axioms: Theory and Practice
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
Ian Horrocks, Stephan Tobies
BMCBI
2006
118views more  BMCBI 2006»
15 years 6 months ago
A graphical model approach to automated classification of protein subcellular location patterns in multi-cell images
Background: Knowledge of the subcellular location of a protein is critical to understanding how that protein works in a cell. This location is frequently determined by the interpr...
Shann-Ching Chen, Robert F. Murphy