Sciweavers

398 search results - page 58 / 80
» A new biclustering technique based on crossing minimization
Sort
View
104
Voted
IFM
2009
Springer
124views Formal Methods» more  IFM 2009»
15 years 7 months ago
Dynamic Path Reduction for Software Model Checking
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
Zijiang Yang, Bashar Al-Rawi, Karem Sakallah, Xiao...
SECON
2007
IEEE
15 years 6 months ago
Adaptive Control of Duty Cycling in Energy-Harvesting Wireless Sensor Networks
—Increasingly many wireless sensor network deployments are using harvested environmental energy to extend system lifetime. Because the temporal profiles of such energy sources e...
Christopher M. Vigorito, Deepak Ganesan, Andrew G....
GPC
2007
Springer
15 years 6 months ago
Design of PeerSum: A Summary Service for P2P Applications
Sharing huge databases in distributed systems is inherently difficult. As the amount of stored data increases, data localization techniques become no longer sufficient. A more ef...
Rabab Hayek, Guillaume Raschia, Patrick Valduriez,...
120
Voted
ICIP
2005
IEEE
15 years 6 months ago
Automatic registration of 3D datasets using Gaussian fields
—In this paper we introduce a new 3D automatic registration method based on Gaussian fields and energy minimization. The method defines a simple ∞ C energy function, which is c...
Faysal Boughorbel, Andreas Koschan, Mongi A. Abidi
VLDB
2005
ACM
175views Database» more  VLDB 2005»
15 years 5 months ago
Query Translation from XPath to SQL in the Presence of Recursive DTDs
The interaction between recursion in XPATH and recursion in DTDs makes it challenging to answer XPATH queries on XML data that is stored in an RDBMS via schema-based shredding. We...
Wenfei Fan, Jeffrey Xu Yu, Hongjun Lu, Jianhua Lu,...