9067 search results - page 1476 / 1814 » Adaptive Model Checking |
197
click to vote
IV
2003
IEEE
16 years 17 days ago
2003
IEEE
The need for visualisation applications developed for small handheld devices such as PDAs and intelligent mobiles are growing. A visual user interface VUI model based on zooming u...
214
click to vote
STEP
2003
IEEE
16 years 17 days ago
2003
IEEE
With the rapid changes that occur in the area of Web technologies, the porting and adaptation of existing Web applications into new platforms that take advantage of modern technol...
219
click to vote
MOBICOM
2003
ACM
16 years 16 days ago
2003
ACM
We develop distributed algorithms for self-organizing sensor networks that respond to directing a target through a region. The sensor network models the danger levels sensed acros...
180
click to vote
ATAL
2003
Springer
16 years 16 days ago
2003
Springer
Abstract. We are developing a decentralized approach to trust based on referral systems, where agents adaptively give referrals to one another to find other trustworthy agents. In...
217
click to vote
EMMCVPR
2003
Springer
16 years 15 days ago
2003
Springer
This paper presents a novel method for surface recovery from discrete 3D point data sets. In order to produce improved reconstruction results, the algorithm presented in this paper...