4385 search results - page 480 / 877 » Abstraction for Concurrent Objects |
175
click to vote
WG
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We present hardness results, approximation heuristics, and exact algorithms for bottleneck labeled optimization problems arising in the context of graph theory. This long...
183
click to vote
ACRI
2006
Springer
16 years 25 days ago
2006
Springer
Abstract— We have recently shown that genetically programming game players, after having imbued the evolutionary process with human intelligence, produces human-competitive strat...
155
click to vote
CAMP
2005
IEEE
16 years 14 days ago
2005
IEEE
Abstract— In this paper, we present a system generating freeviewpoint video in real-time using multiple cameras and a PCcluster. Our system firstly reconstructs a shape model of...
206
click to vote
MEMOCODE
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper presents results on processor specification from a specialized high-level finite state machine (FSM) language. The language is an extension and enhancement of earlier...
142
click to vote
AE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We report the use of MGS, a declarative and rule-based language, for the modeling of various self-assembly processes. The approach is illustrated on the fabrication of a ...