Sciweavers

720 search results - page 34 / 144
» Temperature Discovery Search
Sort
View
SPIN
2007
Springer
14 years 1 months ago
Generating Counter-Examples Through Randomized Guided Search
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
Neha Rungta, Eric G. Mercer
GECCO
2004
Springer
14 years 1 months ago
GA-Facilitated Knowledge Discovery and Pattern Recognition Optimization Applied to the Biochemistry of Protein Solvation
Abstract. The authors present a GA optimization technique for cosinebased k-nearest neighbors classification that improves predictive accuracy in a class-balanced manner while sim...
Michael R. Peterson, Travis E. Doom, Michael L. Ra...
IPPS
2003
IEEE
14 years 1 months ago
PROSIDIS: A Special Purpose Processor for PROtein SImilarity DIScovery
This work presents the architecture of PROSIDIS, a special purpose processor designed to search for the occurrence of substrings similar to a given ‘template string’ within a ...
Alessandro Marongiu, Paolo Palazzari, Vittorio Ros...
CAISE
2003
Springer
14 years 1 months ago
Recommendation Based Discovery of Dynamic Virtual Communities
Recommendation systems are becoming increasingly popular in various large-scale web-based applications (such as infomediaries, emarketplaces, knowledge portals) since they enable u...
Manos Papagelis, Dimitris Plexousakis
AAAI
2007
13 years 10 months ago
Enabling Intelligent Content Discovery on the Mobile Internet
The mobile Internet is a massive opportunity for mobile operators and content providers, but despite significant improvements in handsets, infrastructure, content, and charging m...
Barry Smyth, Paul Cotter, Stephen Oman