3235 search results - page 175 / 647 » Partial Redundant Modeling |
120
click to vote
ATVA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
128
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a pedestrian model built collectively on a group of strong local convex shape descriptors. The pedestrian model captures the most important features of a pedes...
116
click to vote
ISCAS
2002
IEEE
15 years 9 months ago
2002
IEEE
A unified, closed form analytical drain current model for partially and fully depleted SOS MOSFETs was investigated. The analytical model was developed using first order principle...
156
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
146
Voted
ICDAR
1997
IEEE
15 years 8 months ago
1997
IEEE
In this paper we present and discuss a novel approach to modeling logical structures of documents, based on a statistical representation of patterns in a document class. An effic...