5838 search results - page 455 / 1168 » A File System for System Programming in Ubiquitous Computing |
179
Voted
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This work focuses on optimal routing for two camera-equipped UAVs cooperatively tracking a single target moving on the ground. The UAVs are small fixed-wing aircraft cruising at a ...
114
click to vote
FECS
2007
15 years 7 months ago
2007
In this paper, we describe assessment processes at three computer science programs accredited by the Computing Accreditation Commission (CAC) of ABET. Assessment is a vital compon...
155
click to vote
ATAL
2007
Springer
16 years 16 days ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
167
click to vote
CONCUR
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
174
click to vote
UM
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Recommender systems produce social networks as a side effect of predicting what users will like. However, the potential for these social networks to aid in recommending i...