1140 search results - page 138 / 228 » Embedded Software: Better Models, Better Code |
106
click to vote
ER
2005
Springer
15 years 8 months ago
2005
Springer
This paper proposes an agent-oriented meta-model that provides rigorous concepts for conducting enterprise modelling. The aim is to allow analysts to produce an enterprise model th...
143
click to vote
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
A novel feature extraction method, namely monogenic binary pattern (MBP), is proposed in this paper based on the theory of monogenic signal analysis, and the histogram of MBP (HMB...
140
click to vote
VMCAI
2010
Springer
16 years 14 days ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
238
click to vote
VLSI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
164
click to vote
PAMI
2012
13 years 5 months ago
2012
—Detecting objects in cluttered scenes and estimating articulated human body parts from 2D images are two challenging problems in computer vision. The difficulty is particularly...