8828 search results - page 1477 / 1766 » Formal methods in practice |
194
click to vote
MCAM
2007
Springer
16 years 27 days ago
2007
Springer
Existing Web image search engines index images by textual descriptions including filename, image caption, surrounding text, etc. However, the textual description available on the W...
153
click to vote
OOPSLA
2007
Springer
16 years 27 days ago
2007
Springer
Nominal subtyping (or user-defined subtyping) and structural subtyping each have their own strengths and weaknesses. Nominal subtyping allows programmers to explicitly express de...
153
click to vote
PKDD
2007
Springer
16 years 26 days ago
2007
Springer
The goal in domain adaptation is to train a model using labeled data sampled from a domain different from the target domain on which the model will be deployed. We exploit unlabel...
164
click to vote
RAID
2007
Springer
16 years 26 days ago
2007
Springer
Network-level emulation has recently been proposed as a method for the accurate detection of previously unknown polymorphic code injection attacks. In this paper, we extend network...
190
click to vote
SCIA
2007
Springer
16 years 26 days ago
2007
Springer
Non-photorealistic rendering (NPR) techniques aim to outline the shape of objects and reduce visual clutter such as shadows and inner texture edges. As the first phase result of ou...