4385 search results - page 653 / 877 » Abstraction for Concurrent Objects |
161
click to vote
MICCAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. While there has been substantial progress in segmenting natural images, state-of-the-art methods that perform well in such tasks unfortunately tend to underperform when c...
151
click to vote
RSKT
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Our aim is to develop methodology for recognition of Internet portal users on the basis of their behaviours. This is a classification task in which we have thousands val...
133
click to vote
SAB
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Population of simulated agents controlled by dynamical neural networks are trained by artificial evolution to access linguistic instructions and to execute them by indic...
157
click to vote
VSTTE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
121
click to vote
CNSM
2010
15 years 3 months ago
2010
Abstract--In this paper, we present demand-side energy management under real-time demand-response pricing as a task scheduling problem which is NP-hard. Using minmax as the objecti...