914 search results - page 173 / 183 » Design spaces: The explicit representation of spaces of alte... |
155
click to vote
MOBIHOC
2009
ACM
16 years 6 months ago
2009
ACM
Distributed scheduling algorithms for wireless ad hoc networks have received substantial attention over the last decade. The complexity levels of these algorithms span a wide spec...
186
click to vote
TPHOL
2009
IEEE
16 years 22 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
171
click to vote
SI3D
2005
ACM
15 years 11 months ago
2005
ACM
It is difficult to obtain a specific region within unsegmented volume data (region of interest, ROI). The user must first segment the volume, a task which itself involves signi...
166
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
It is now well established that the device scaling predicted by Moore’s Law is no longer a viable option for increasing the clock frequency of future uniprocessor systems at the...
171
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Decentralized control of a cooperative multi-agent system is the problem faced by multiple decision-makers that share a common set of objectives. The decision-makers may be robots...