2740 search results - page 504 / 548 » A Model-Based Approach To Requirements Analysis |
POPL
2012
ACM
13 years 5 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
124
click to vote
CVPR
2006
IEEE
15 years 11 months ago
2006
IEEE
We propose a new technique for edge-suppressing operations on images. We introduce cross projection tensors to achieve affine transformations of gradient fields. We use these tens...
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
Object/scene detection by discriminative kernel-based classification has gained great interest due to its promising performance and flexibility. In this paper, unlike traditional ...
149
click to vote
GIS
2004
ACM
15 years 10 months ago
2004
ACM
This paper discusses a variety of ways to place diagrams like pie charts on maps, in particular, administrative subdivisions. The different ways come from different models of the ...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
With the explosive growth of Web and the recent development in digital media technology, the number of images on the Web has grown tremendously. Consequently, Web image clustering...