12981 search results - page 2105 / 2597 » Model Checking (Abstract) |
193
click to vote
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Developing service-based interactive applications is time consuming and nontrivial. Annotating web services with additional information about the user interface and behav...
215
click to vote
IR
2010
15 years 5 months ago
2010
Abstract We present a new ranking algorithm that combines the strengths of two previous methods: boosted tree classification, and LambdaRank, which has been shown to be empiricall...
192
click to vote
ISVC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Hand dyeing generates artistic representations with unique and complex patterns. The aesthetics of dyed patterns on a cloth originate from the physical properties of dyei...
182
click to vote
JCSS
2010
15 years 5 months ago
2010
Abstract. Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. A reset arc allows a transition to remove all tokens from a certain place when the transi...
154
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Diffusion magnetic resonance imaging has led to active research in the analysis of anatomical connectivity in the brain. Many approaches have been proposed to model the ...