11462 search results - page 311 / 2293 » Developing Application-Centric Methods |
120
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
Inheritance and polymorphism are key mechanisms of the object-oriented approach that enable designers to develop systems in an incremental manner. In this paper, we develop techni...
117
click to vote
PROFES
2001
Springer
15 years 9 months ago
2001
Springer
Many small and medium-sized companies that develop software experience the same problems repeatedly, and have few systems in place to learn from their own mistakes as well as their...
151
Voted
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
138
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper, we develop a method for generating thumbnail images from the interlaced H.264/AVC coded bit streams. We devise a method exploiting both the spatial and transform do...
131
click to vote
PAMI
1998
15 years 4 months ago
1998
—As an object moves through the field of view of a camera, the images of the object may change dramatically. This is not simply due to the translation of the object across the im...