9412 search results - page 414 / 1883 » An aspect-oriented generative approach |
179
Voted
ICSE
2003
IEEE-ACM
16 years 2 days ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
153
Voted
VTS
1999
IEEE
15 years 11 months ago
1999
IEEE
High-level test pattern generation is today a widely investigated research topic. The present paper proposes a fully automated, simulation-based ATPG system, to address test patte...
205
click to vote
IBERAMIA
2010
Springer
15 years 5 months ago
2010
Springer
Surface realisation - the task of producing word strings from non-linguistic input data - has been the focus of a great deal of research in the field of data-to-text Natural Langu...
284
Voted
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
Airborne LiDAR technology draws increasing interest in
large-scale 3D urban modeling in recent years. 3D Li-
DAR data typically has no texture information. To generate
photo-rea...
161
Voted
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
In this paper we consider the problem of temporal texture modeling and synthesis. A temporal texture (or dynamic texture) is seen as the output of a dynamical system driven by whit...