532 search results - page 102 / 107 » Process Algebras for Quantitative Analysis |
SIGSOFT
2002
ACM
14 years 8 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
SIGCSE
2009
ACM
14 years 2 months ago
2009
ACM
Jeannette Wing’s call for teaching Computational Thinking (CT) as a formative skill on par with reading, writing, and arithmetic places computer science in the category of basic...
MM
2009
ACM
14 years 2 months ago
2009
ACM
Web image search is inspired by text search techniques; it mainly relies on indexing textual data that surround the image file. But retrieval results are often noisy and image pro...
MM
2006
ACM
14 years 1 months ago
2006
ACM
In the area of image retrieval, post-retrieval processing is often used to refine the retrieval results to better satisfy users’ requirements. Previous methods mainly focus on p...
CGIM
2003
13 years 9 months ago
2003
A novel snake model suitable for edge extraction of bandshape objects is presented in this paper. Based on the proposed model, an edge tracking system, EdgeTrak, has been develope...