6149 search results - page 470 / 1230 » Revealing the programming process |
321
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
182
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
188
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
Embedding generic shape information into probabilistic spatiotemporal video object segmentation is of pivotal importance to achieving better segmentation, since it provides valuab...
160
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper considers the remote interactive browsing of large JPEG2000 images. In contrast with previous contributions, we focus on the dynamic nature of the system. Practically, ...
204
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Images are often compressed using JPEG or JPEG2000. Many retrieval systems operated in either uncompressed or compressed domains have been proposed. However, retrieving in multipl...