29172 search results - page 5513 / 5835 » Modeling Systems in CLP |
175
click to vote
CPAIOR
2010
Springer
15 years 5 months ago
2010
Springer
Many search problems contain large amounts of redundancy in the search. In this paper we examine how to automatically exploit remaining subproblem equivalence, which arises when tw...
204
click to vote
HICSS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract: Software product line engineering is an established methodology for fast and effective development of software-intensive systems and services. To reap maximum benefits fr...
200
click to vote
IJON
2008
15 years 5 months ago
2008
This article depicts the approach used to build the Topos application, a simulation of two-wheel robots able to discern real complex sounds. Topos is framed in the nouvelle concep...
181
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
An unsupervised method is proposed aiming at extracting rhythmic sources from commercial polyphonic music whose number of channels is limited to one. Commercial music signals are ...
174
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— In the past, there has been a tremendous advance in the area of simultaneous localization and mapping (SLAM). However, there are relatively few approaches for incorporating pri...