Sciweavers

2805 search results - page 222 / 561
» Collecting More Garbage
Sort
View
POPL
2000
ACM
15 years 11 months ago
A Type System for Expressive Security Policies
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
David Walker
ICPR
2010
IEEE
15 years 11 months ago
On-Line Fmri Data Classification Using Linear and Ensemble Classifiers
The advent of real-time fMRI pattern classification opens many avenues for interactive self-regulation where the brain's response is better modelled by multivariate, rather t...
Catrin Oliver Plumpton, Ludmila I. Kuncheva, David...
ICDAR
1999
IEEE
15 years 11 months ago
Multi-experts for Touching Digit String Recognition
84.6% of touching digit strings have only two digits touching, 12.3% have three digits touching, and 3.1% have more than three digits touching. We present a multiexperts approach ...
Xian Wang, Venu Govindaraju, Sargur N. Srihari
APN
1999
Springer
15 years 11 months ago
The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets
: This paper examines how object-oriented extensions to the Petri Net formalism provide flexible structuring primitives which can aid the modelling of network protocols. A key bene...
Charles Lakos, John Lamp
VTS
1999
IEEE
114views Hardware» more  VTS 1999»
15 years 11 months ago
Partial Scan Using Multi-Hop State Reachability Analysis
Sequential test generators fail to yield tests for some stuck-at-faults because they are unable to reach certain states necessary for exciting propagating these target faults. Add...
Sameer Sharma, Michael S. Hsiao