Sciweavers

5699 search results - page 919 / 1140
» Alternating model trees
Sort
View
ICLP
2007
Springer
16 years 23 days ago
Automatic Correctness Proofs for Logic Program Transformations
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...
IWCLS
2007
Springer
16 years 22 days ago
On Lookahead and Latent Learning in Simple LCS
Learning Classifier Systems use evolutionary algorithms to facilitate rule- discovery, where rule fitness is traditionally payoff based and assigned under a sharing scheme. Most c...
Larry Bull
PAKDD
2007
ACM
184views Data Mining» more  PAKDD 2007»
16 years 22 days ago
Exploring Group Moving Pattern for an Energy-Constrained Object Tracking Sensor Network
In this paper, we investigate and utilize the characteristic of the group movement of objects to achieve energy conservation in the inherently resource-constrained wireless object ...
Hsiao-Ping Tsai, De-Nian Yang, Wen-Chih Peng, Ming...
CVPR
2006
IEEE
16 years 20 days ago
New Method of Probability Density Estimation with Application to Mutual Information Based Image Registration
We present a new, robust and computationally efficient method for estimating the probability density of the intensity values in an image. Our approach makes use of a continuous r...
Ajit Rajwade, Arunava Banerjee, Anand Rangarajan
ICRA
2006
IEEE
103views Robotics» more  ICRA 2006»
16 years 19 days ago
A Time-budgeted Collision Detection Method
- Collision detection is a critical module in many applications such as computer graphics, robot motion planning, physical simulation, CAD/CAM, and molecular modeling. Many efficie...
Yu-Te Lin, Tsai-Yen Li