565 search results - page 53 / 113 » Compositional dynamic test generation |
140
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...
130
Voted
SIGGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
This paper presents a system for generating dynamic narratives from videos. These narratives are characterized for being compact, coherent and interactive, as inspired by principl...
113
Voted
APGV
2004
ACM
15 years 8 months ago
2004
ACM
The transition from traditional 24-bit RGB to high dynamic range (HDR) images is hindered by excessively large file formats with no backwards compatibility. In this paper, we prop...
130
Voted
LREC
2010
15 years 4 months ago
2010
In this paper, I introduce the DICI, an electronic dictionary of Italian collocations designed to support the acquisition of the collocational competence in learners of Italian as...
142
click to vote
GIS
2009
ACM
15 years 8 months ago
2009
ACM
This paper proposes a method for generating a Focus+Glue +Context map for Web map services by improving existing fisheye views methods for cartographic data. While many studies h...