17082 search results - page 3185 / 3417 » Abstractions for Mobile Computation |
177
click to vote
BIRTHDAY
2005
Springer
16 years 6 days ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
161
click to vote
CVBIA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Important attributes of 3D brain segmentation algorithms include robustness, accuracy, computational efficiency, and facilitation of user interaction, yet few algorithms ...
185
click to vote
HIPEAC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Designers of large parallel computers and clusters are becoming increasingly concerned with the cost and power consumption of the interconnection network. A simple way to...
203
click to vote
UML
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
164
click to vote
WEA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper we consider the problem of computing a minimum cycle basis of an undirected graph G = (V, E) with n vertices and m edges. We describe an efficient implement...