Sciweavers

1670 search results - page 81 / 334
» Fast Computation of Data Correlation Using BDDs
Sort
View
ICFEM
2009
Springer
15 years 20 days ago
Graded-CTL: Satisfiability and Symbolic Model Checking
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
Alessandro Ferrante, Margherita Napoli, Mimmo Pare...
104
Voted
OPNETEC
2004
Springer
15 years 8 months ago
Distributed Wavelength Reservation Method for Fast Lightpath Setup in WDM Networks
Abstract— A promising approach to the effective utilization of wavelength division multiplexed networks is to transfer data on an on-demand basis using fast wavelength reservati...
Yosuke Kanitani, Shin'ichi Arakawa, Masayuki Murat...
ICIAP
2005
ACM
16 years 3 months ago
3D Surface Reconstruction from Scattered Data Using Moving Least Square Method
This paper presents an efficient implementation of moving least square(MLS) approximation for 3D surface reconstruction. The smoothness of the MLS is mainly determined by the weigh...
Soon-Jeong Ahn, Jaechil Yoo, Byung-Gook Lee, Joon-...
MIDDLEWARE
2010
Springer
15 years 1 months ago
FaReCast: Fast, Reliable Application Layer Multicast for Flash Dissemination
Abstract. To disseminate messages from a single source to a large number of targeted receivers, a natural approach is the tree-based application layer multicast (ALM). However, in ...
Kyungbaek Kim, Sharad Mehrotra, Nalini Venkatasubr...
KDD
2009
ACM
239views Data Mining» more  KDD 2009»
16 years 3 months ago
Tell me something I don't know: randomization strategies for iterative data mining
There is a wide variety of data mining methods available, and it is generally useful in exploratory data analysis to use many different methods for the same dataset. This, however...
Heikki Mannila, Kai Puolamäki, Markus Ojala, ...