5962 search results - page 253 / 1193 » Working with Patterns and Code |
125
click to vote
ENTCS
2006
15 years 4 months ago
2006
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most co...
128
click to vote
ISSE
2010
15 years 2 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
127
click to vote
SSPR
2004
Springer
15 years 9 months ago
2004
Springer
We present a tutorial survey on some recent approaches to unsupervised machine learning in the context of statistical pattern recognition. In statistical PR, there are two classica...
134
click to vote
IBPRIA
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents a vision-based localization approach for an underwater robot in a structured environment. The system is based on a coded pattern placed on the bottom of a water...
150
click to vote
ICB
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. We present a novel approach for human gait recognition that inherently combines appearance and motion. Dynamic texture descriptors, Local Binary Patterns from Three Ortho...