12981 search results - page 2430 / 2597 » Model Checking (Abstract) |
176
Voted
WINE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The standard business model in the sponsored search marketplace is to sell click-throughs to the advertisers. This involves running an auction that allocates advertisemen...
159
Voted
BIBM
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Medical image segmentation has become an essential technique in clinical and research-oriented applications. Because manual segmentation methods are tedious, and fully au...
156
Voted
CIARP
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Region-based approaches have been proposed to computerassisted colorization problem, typically using shape similarity and topology relations between regions. Given a colo...
149
click to vote
CISC
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. In 2002, algebraic attacks using overdefined systems of equations have been proposed as a potentially very powerful cryptanalysis technique against block ciphers. However...
94
Voted
CORR
2009
Springer
15 years 1 months ago
2009
Springer
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...