12333 search results - page 2233 / 2467 » System Level Modelling for Hardware Software Systems |
180
click to vote
ASAP
2011
IEEE
14 years 4 months ago
2011
IEEE
—The domain of vision and navigation often includes applications for feature tracking as well as simultaneous localization and mapping (SLAM). As these problems require computati...
140
Voted
KDD
2007
ACM
16 years 4 months ago
2007
ACM
An important problem in data mining is detecting changes in large data sets. Although there are a variety of change detection algorithms that have been developed, in practice it c...
146
click to vote
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in th...
118
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
139
click to vote
IFM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...