2748 search results - page 340 / 550 » Generating Object-Z Specifications from Use Cases |
138
click to vote
CRV
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper, we present a new multiple hypotheses tracking (MHT) approach. Our tracking method is suitable for online applications, because it labels objects at every frame and ...
107
click to vote
HCI
2009
15 years 2 months ago
2009
Abstract. Psychophysiological assessment in the context of virtual environments is a promising means for benchmarking the efficacy and ecological validity of virtual reality scenar...
175
click to vote
IAJIT
2011
14 years 11 months ago
2011
: This article describes a multilayer model-based approach for text compression. It uses linguistic information to develop a multilayer decomposition model of the text in order to ...
141
click to vote
DAC
2012
ACM
13 years 6 months ago
2012
ACM
In this work we address the problem of managing interconnect timing in high-level synthesis by generating a layoutfriendly microarchitecture. A metric called spreading score is pr...
144
click to vote
AAAI
2012
13 years 6 months ago
2012
Knowledge transfer is computationally challenging, due in part to the curse of dimensionality, compounded by source and target domains expressed using different features (e.g., do...