7557 search results - page 1329 / 1512 » Modeling Timed Concurrent Systems |
176
Voted
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Our productivity centered performance tuning framework for HPC applications comprises of three main components: (1) a versatile source code, performance metrics, and performance d...
201
Voted
ICN
2007
Springer
16 years 26 days ago
2007
Springer
—Using Mobile Ad Hoc Networks (MANETs) for monitoring bovine animals potentially offers high increase in the profitability of cattle production. In this paper we propose a formal...
185
Voted
MIDDLEWARE
2007
Springer
16 years 26 days ago
2007
Springer
Resource brokering in Grids is nowadays handled by resource brokers that require detailed knowledge of the state of the resources that they broker. In business settings, surrender...
151
click to vote
3DPVT
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper presents a method for obtaining accurate dense elevation and appearance models of terrain using a single camera on-board an aerial platform. Applications of this method...
207
click to vote
AUIC
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper presents a markerless registration approach for Augmented Reality (AR) systems based on the Kanade-Lucas-Tomasi (KLT) natural feature tracker and the affine reconstruct...