1199 search results - page 173 / 240 » How to Compare the Power of Computational Models |
166
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Tumor segmentation from MRI data is an important but time consuming task performed manually by medical experts. Automating this process is challenging due to the high diversity in...
147
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
Dependence-aware transactional memory (DATM) is a recently proposed model for increasing concurrency of memory transactions without complicating their interface. DATM manages depe...
195
click to vote
SMA
2009
ACM
16 years 25 days ago
2009
ACM
The behavior of Catmull-Rom curves heavily depends on the choice of parameter values at the control points. We analyze a class of parameterizations ranging from uniform to chordal...
202
click to vote
GIS
2008
ACM
15 years 7 months ago
2008
ACM
In this paper we study in-network query processing in disconnected mobile environments, where both ad-hoc communication and infrastructure communication are available. Depending o...
183
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...