911 search results - page 59 / 183 » Using Lattice-Based Framework as a Tool for Feature Extracti... |
ICPR
2004
IEEE
14 years 9 months ago
2004
IEEE
We seek a framework that addresses localization, detection and recognition of man-made objects in natural-scene images in a unified manner. We propose to model artificial structur...
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
Given the complexity of parallel programs, developers often must rely on performance analysis tools to help them improve the performance of their code. While many tools support th...
SAS
2005
Springer
14 years 2 months ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
FASE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
JLP
2010
13 years 3 months ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...