5234 search results - page 688 / 1047 » Method Components - Rationale Revealed |
162
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
168
click to vote
ACCV
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We propose a robust method to extract silhouettes of foreground objects from color video sequences. To cope with various changes in the background, the background is mode...
186
click to vote
CAIP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Intestinal contractions are one of the main features for analyzing intestinal motility and detecting different gastrointestinal pathologies. In this paper we propose Eig...
195
click to vote
CAV
2007
Springer
16 years 27 days ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
185
click to vote
CCIA
2007
Springer
16 years 27 days ago
2007
Springer
Polysemy is one of the most difficult problems when dealing with natural language resources. Consequently, automated ontology learning from textual sources (such as web resources) ...