1669 search results - page 87 / 334 » Structured Specification of Model Interpreters |
179
click to vote
SP
2010
IEEE
15 years 1 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
135
click to vote
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
This paper presents efficient methods for automatic detection and extraction of blood vessels and optic disc (OD) both of which are two prominent anatomical structures in ocular f...
248
Voted
MICCAI
2010
Springer
15 years 9 months ago
2010
Springer
While there has been substantial progress in segmenting natural im-
ages, state-of-the-art methods that perform well in such tasks unfortunately tend
to underperform ...
163
click to vote
NAACL
2004
15 years 4 months ago
2004
The regular occurrence of disfluencies is a distinguishing characteristic of spontaneous speech. Detecting and removing such disfluencies can substantially improve the usefulness ...
139
click to vote
ISCI
2006
15 years 3 months ago
2006
We investigate the effectiveness of GP-generated intelligent structures in classification tasks. Specifically, we present and use four context-free grammars to describe (1) decisi...