Sciweavers

613 search results - page 66 / 123
» Finding and Fixing Faults
Sort
View
AAAI
1998
15 years 1 months ago
Two Forms of Dependence in Propositional Logic: Controllability and Definability
We investigate two forms of dependence between variables and/or formulas within a propositional knowledge base: controllability (a set of variables X controls a formula , if there...
Jérôme Lang, Pierre Marquis
ICIS
2000
15 years 1 months ago
Personalization of search engine services for effective retrieval and knowledge management
The Internet and corporate intranets provide far more information than anybody can absorb. People use search engines to find the information they require. However, these systems t...
Weiguo Fan, Michael D. Gordon, Praveen Pathak
NIPS
1992
15 years 1 months ago
Hidden Markov Model} Induction by Bayesian Model Merging
This paper describes a technique for learning both the number of states and the topologyof Hidden Markov Models from examples. The inductionprocess starts with the most specific m...
Andreas Stolcke, Stephen M. Omohundro
BIOCOMP
2009
15 years 29 days ago
Evidence against the Paradigm of Energy Minimization in Protein Design
Abstract-- Stating protein design as an energy minimization in the space of amino acid sequences and rotamer combinations is usual. In the current paper an evolutionary algorithm b...
Andrea Bazzoli, Andrea Tettamanzi
DIMVA
2009
15 years 28 days ago
A Case Study on Asprox Infection Dynamics
Abstract. The Asprox infection weaves a complex chain of dependencies involving bots that perform SQL injections on vulnerable web servers, and visitors whose machines get compromi...
Youngsang Shin, Steven A. Myers, Minaxi Gupta