1102 search results - page 105 / 221 » Generalizing Updates: From Models to Programs |
ATAL
2007
Springer
15 years 6 months 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...
84
Voted
ICDS
2009
IEEE
15 years 7 months ago
2009
IEEE
Existing traffic flow modeling theory lacks of guidelines to construct traffic flow models from scratch. In addition, traffic flow models are mainly analyzed with computer simulat...
117
click to vote
3DIM
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper we present an efficient and general approach to computing and integrating 3D distance fields directly from multiple range images. We compute normal and confidence va...
CCR
2008
15 years 18 days ago
2008
In this paper we present Cyclops, a system that collects and displays information of AS-level connectivity extracted from looking glasses, route-servers and BGP tables and updates...
101
Voted
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...