4861 search results - page 789 / 973 » Parsimonious concept modeling |
147
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Collision detection and estimation from a monocular visual sensor is an important enabling technology for safe navigation of small or micro air vehicles in near earth ï...
183
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
—The problem of ï¬nding efï¬cient workload distribution techniques is becoming increasingly important today for heterogeneous distributed systems where the availability of comp...
187
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
186
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
168
click to vote
COCOA
2009
Springer
16 years 1 months ago
2009
Springer
In the context of scheduling and timetabling, we study a challenging combinatorial problem which is very interesting for both practical and theoretical points of view. The motivati...