3001 search results - page 509 / 601 » Recursive type generativity |
235
click to vote
CRV
2009
IEEE
16 years 1 months ago
2009
IEEE
The use of synthetic aperture radar (SAR) has become an integral part of sea-ice monitoring and analysis in the polar regions. An important task in sea-ice analysis is to segment ...
159
click to vote
DEXAW
2009
IEEE
16 years 1 months ago
2009
IEEE
—The management of patient referrals is an interesting issue when it comes to predicting future patient demand to increase hospital productivity. In general, a patient is referre...
205
click to vote
LICS
2009
IEEE
16 years 28 days ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
187
click to vote
IROS
2008
IEEE
16 years 21 days ago
2008
IEEE
— In this paper, we propose an action planning algorithm and its evaluation method based on dynamic simulation for a novel type of hybrid leg-wheel rover for planetary exploratio...
178
click to vote
DCOSS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We propose a distributed coalition formation strategy for collaborative sensing tasks in camera sensor networks. The proposed model supports taskdependent node selection ...