2623 search results - page 293 / 525 » tools 2010 |
127
click to vote
CLIMA
2010
15 years 1 months ago
2010
When agents are acting together, they may need a simple mechanism to decide on joint actions. One possibility is to have the agents express their preferences in the form of a ballo...
122
click to vote
CMS
2010
15 years 1 months ago
2010
While conventional malware detection approaches increasingly fail, modern heuristic strategies often perform dynamically, which is not possible in many applications due to related ...
108
click to vote
ACTA
2010
15 years 29 days ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
84
Voted
ADT
2010
15 years 29 days ago
2010
: In the era of mobile and wireless networks, the growing complexity of end devices and the accentuated tendency towards miniaturization of them raise new security challenges. Auth...
82
Voted
AUTOMATICA
2010
15 years 29 days ago
2010
This paper addresses planning of continuous paths for mobile sensors to reduce uncertainty in some quantities of interest in the future. The mutual information between the measure...