3001 search results - page 509 / 601 » Recursive type generativity |
212
click to vote
CRV
2009
IEEE
15 years 11 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 ...
140
click to vote
DEXAW
2009
IEEE
15 years 11 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...
183
click to vote
LICS
2009
IEEE
15 years 11 months 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...
164
click to vote
IROS
2008
IEEE
15 years 11 months 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...
156
click to vote
DCOSS
2007
Springer
15 years 11 months 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 ...