2800 search results - page 343 / 560 » Fibrational Control Structures |
135
click to vote
ECLIPSE
2007
ACM
15 years 7 months ago
2007
ACM
eConference is a text-based conferencing tool that supports distributed teams in need for synchronous communication and structured discussion services. Other than offering communi...
130
click to vote
3DPVT
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, we propose a viewer for huge point-sampled models by combining out-of-core technologies with view-dependent level-of-detail (LOD) control. This viewer is designed o...
127
Voted
APWEB
2006
Springer
15 years 7 months ago
2006
Springer
Nowadays, the rapid advances in wireless communications, positioning techniques and mobile devices enable location based service such as dynamic traffic navigation. Yet, it is a ch...
94
Voted
CSCW
2004
ACM
15 years 7 months ago
2004
ACM
Saori is a computation infrastructure that enables users and enduser applications to leverage social networks to mediate information dissemination. Saori provides users with aware...
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...