Sciweavers

3731 search results - page 443 / 747
» cases 2006
Sort
View
JAPLL
2010
104views more  JAPLL 2010»
15 years 5 months ago
Group announcement logic
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
Thomas Ågotnes, Philippe Balbiani, Hans P. v...
JASIS
2010
125views more  JASIS 2010»
15 years 5 months ago
So mechanical or routine: The not original in Feist
The United States Supreme Court case of 1991, Feist Publications, Inc. v. Rural Tel. Service Co., continues to be highly significant for property in data and databases but remains...
Julian Warner
JCC
2010
105views more  JCC 2010»
15 years 5 months ago
Fast determination of the optimal rotational matrix for macromolecular superpositions
: Finding the rotational matrix that minimizes the sum of squared deviations between two vectors is an important problem in bioinformatics and crystallography. Traditional algorith...
Pu Liu, Dimitris K. Agrafiotis, Douglas L. Theobal...
JCC
2010
74views more  JCC 2010»
15 years 5 months ago
A first-order system least-squares finite element method for the Poisson-Boltzmann equation
The Poisson-Boltzmann equation is an important tool in modeling solvent in biomolecular systems. In this paper, we focus on numerical approximations to the electrostatic potential...
Stephen D. Bond, Jehanzeb Hameed Chaudhry, Eric C....
JCO
2010
75views more  JCO 2010»
15 years 5 months ago
A quadratic lower bound for Rocchio's similarity-based relevance feedback algorithm with a fixed query updating factor
Rocchio’s similarity-based relevance feedback algorithm, one of the most important query reformation methods in information retrieval, is essentially an adaptive supervised lear...
Zhixiang Chen, Bin Fu, John Abraham