3468 search results - page 437 / 694 » An open logical framework |
120
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— Recently there has been increasing research on the development of autonomous flying vehicles. Whereas most of the proposed approaches are suitable for outdoor operation, only ...
134
click to vote
RTA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
132
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
On-line boosting is a recent advancement in the field of machine learning that has opened a new spectrum of possibilities in many diverse fields. With respect to a static strong...
137
click to vote
P2P
2008
IEEE
15 years 10 months ago
2008
IEEE
The rapid proliferation of Internet and related technologies has created tremendous possibilities for the interoperability between domains in distributed environments. Interoperab...
134
click to vote
WIMOB
2008
IEEE
15 years 10 months ago
2008
IEEE
The integration of different wireless access technologies combined with the huge characteristic diversity of supported services in next-generation systems creates a real heterogen...