Sciweavers

7991 search results - page 578 / 1599
» Using More Reasoning to Improve
Sort
View
IWRT
2007
167views Communications» more  IWRT 2007»
15 years 8 months ago
The Practicality of Multi-Tag RFID Systems
Radio Frequency Identification (RFID) is an increasingly popular technology that uses radio signals for object identification. Successful object identification is the primary o...
Leonid Bolotnyy, Scott Krize, Gabriel Robins
ICDM
2010
IEEE
96views Data Mining» more  ICDM 2010»
15 years 5 months ago
Domain-Driven Data Mining for IT Infrastructure Support
Abstract--Support analytics (i.e., statistical analysis, modeling and mining of customer/operations support tickets data) is important in service industries. In this paper, we adop...
Girish Keshav Palshikar, Harrick M. Vin, Mohammed ...
CADE
2007
Springer
16 years 1 months ago
Semantic Selection of Premisses for Automated Theorem Proving
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
Petr Pudlak
JCC
2008
166views more  JCC 2008»
15 years 7 months ago
Reference energy extremal optimization: A stochastic search algorithm applied to computational protein design
: We adapt a combinatorial optimization algorithm, extremal optimization (EO), for the search problem in computational protein design. This algorithm takes advantage of the knowled...
Naigong Zhang, Chen Zeng
SGAI
2007
Springer
16 years 1 months ago
Escaping Local Optima: Constraint Weights vs. Value Penalties
Constraint Satisfaction Problems can be solved using either iterative improvement or constructive search approaches. Iterative improvement techniques converge quicker than the cons...
Muhammed Basharu, Inés Arana, Hatem Ahriz