4385 search results - page 631 / 877 » Abstraction for Concurrent Objects |
141
click to vote
MFCS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We consider the iterates of bilinear functions over the semiring (max, +). Equivalently, our object of study can be viewed as recognizable tree series over the semiring (...
154
click to vote
ROBOCUP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The online coach within the simulation league has become more powerful over the last few years. Therefore, new options with regard to the recognition of the opponents str...
189
Voted
RT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Methods for exact computation of irradiance and form factors associated with polygonal objects have ultimately relied on a formula for a differential area to polygon form...
176
click to vote
VW
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper, we present the project Urbi et Orbi, a framework to dynamically manage distributed virtual environments (DVEs). This framework relies on a dedicated script...
159
click to vote
CPAIOR
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. State-of-the-art solvers for mixed integer programming (MIP) problems are highly parameterized, and finding parameter settings that achieve high performance for specific ...