Sciweavers

2661 search results - page 503 / 533
» Model Checking Performability Properties
Sort
View
250
Voted

Publication
342views
16 years 4 months ago
Understanding the relationships between regional accessibility travel behaviour and home value
Accessibility is a comprehensive measure of the interaction between land use and transportation systems. It has been put forward as a performance-measure for evaluating the land u...
Cerda, A. and El-Geneidy, A.
IROS
2007
IEEE
254views Robotics» more  IROS 2007»
15 years 8 months ago
3D datasets segmentation based on local attribute variation
— We present a Graph-based method for low-level segmentation of unfiltered 3D data. The core of this approach is based on the construction of a local neighborhood structure and ...
Carla Silva Rocha Aguiar, Sébastien Druon, ...
INFOCOM
2006
IEEE
15 years 8 months ago
Cross-Layer Congestion Control, Routing and Scheduling Design in Ad Hoc Wireless Networks
Abstract— This paper considers jointly optimal design of crosslayer congestion control, routing and scheduling for ad hoc wireless networks. We first formulate the rate constrai...
Lijun Chen, Steven H. Low, Mung Chiang, John C. Do...
166
Voted
ICCS
2007
Springer
15 years 6 months ago
Building Verifiable Sensing Applications Through Temporal Logic Specification
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ana...
DASFAA
2004
IEEE
125views Database» more  DASFAA 2004»
15 years 6 months ago
Reducing Communication Cost in a Privacy Preserving Distributed Association Rule Mining
Data mining is a process that analyzes voluminous digital data in order to discover hidden but useful patterns from digital data. However, discovery of such hidden patterns has sta...
Mafruz Zaman Ashrafi, David Taniar, Kate A. Smith