6943 search results - page 1037 / 1389 » Representations for evolutionary algorithms |
153
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents a vision-based approach to SLAM in large-scale environments with minimal sensing and computational requirements. The approach is based on a graphical repres...
180
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We explore an algorithm and methodology for realtime video compression and communication over sensor network. Video is encoded using the address-event representation (A...
168
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...
177
click to vote
CAEPIA
2007
Springer
16 years 29 days ago
2007
Springer
There exist various narrative systems, focused on different parts of the complex process of story generation. Some of them are oriented to content planning, and some other to sent...
198
click to vote
CAISE
2007
Springer
16 years 29 days ago
2007
Springer
Schema merging is the process of integrating several schemas into a common, unified schema. There have been various approaches to schema mergusing on particular modeling languages...