5064 search results - page 430 / 1013 » Recent Developments in Gridsolve |
179
click to vote
ICSOC
2003
Springer
15 years 12 months ago
2003
Springer
Service-based approaches (such as Web Services and the Open Grid Services Architecture) have gained considerable attention recently for supporting distributed application developme...
179
click to vote
ECCV
2010
Springer
15 years 12 months ago
2010
Springer
In this work we propose a hierarchical approach for labeling semantic objects and regions in scenes. Our approach is reminiscent of early vision literature in that we use a decompo...
151
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
—The admission control problem is concerned with determining whether a new task may be accepted by a system consisting of a set of running tasks, such that the already admitted a...
203
click to vote
ECCV
2010
Springer
15 years 12 months ago
2010
Springer
Maintaining the stability of tracks on multiple targets in video over extended time periods remains a challenging problem. A few methods which have recently shown encouraging resul...
170
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...