7167 search results - page 1201 / 1434 » A Technique for Invariant Generation |
181
click to vote
JUCS
2010
15 years 5 months ago
2010
: Generalized finite automata with weights for states and transitions have been successfully applied to image generation for more than a decade now. Bilevel images (black and whit...
191
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Automatic segmentation of the esophagus from CT data is a challenging problem. Its wall consists of muscle tissue, which has low contrast in CT. Sometimes it is filled with air or...
204
click to vote
MMMACNS
2010
Springer
15 years 5 months ago
2010
Springer
Botnets have become the most powerful tool for attackers to victimize countless users across cyberspace. Previous work on botnet detection has mainly focused on identifying infecte...
184
click to vote
ORDER
2010
15 years 5 months ago
2010
Let P be the ordered set of isomorphism types of finite ordered sets (posets), where the ordering is by embeddability. We study first-order definability in this ordered set. We ...
201
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
The limitations of the traditional SOA operational model, such as the lack of rich service descriptions, weaken the role of service registries. Their removal from the model violate...