Sciweavers

2904 search results - page 28 / 581
» Number Forms in the Brain
Sort
View
CLEF
2006
Springer
13 years 11 months ago
Applying Logic Forms and Statistical Methods to CL-SR Performance
This paper describes in detail the combination of NLP methods applied to the treatment of logic forms in the topic processing and statistical methods applied to the search engine ...
Rafael M. Terol, Patricio Martínez-Barco, M...
ECAI
2006
Springer
13 years 11 months ago
A Solver for QBFs in Nonprenex Form
Various problems in AI can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a ...
Uwe Egly, Martina Seidl, Stefan Woltran
AROBOTS
2007
81views more  AROBOTS 2007»
13 years 7 months ago
Mobile robot team forming for crystallization of proteins
The process of protein crystallization is explained using the theory of robotics, particularly path planning of mobile robots. Path planning is a procedure which specifies motion ...
Yuan F. Zheng, Weidong Chen
IJNSEC
2006
71views more  IJNSEC 2006»
13 years 7 months ago
Joint Sparse Form of Window Three for Koblitz Curve
The joint sparse form (JSF) for the non-adjacent form (NAF) representation of two large integers a and b, was proposed by Solinas. Then Ciet extended it to the -JSF for the -NAF r...
Yong Ding, Kwok-Wo Wong, Yu-Min Wang
COLT
2003
Springer
14 years 26 days ago
On Learning to Coordinate: Random Bits Help, Insightful Normal Forms, and Competency Isomorphisms
A mere bounded number of random bits judiciously employed by a probabilistically correct algorithmic coordinator is shown to increase the power of learning to coordinate compared ...
John Case, Sanjay Jain, Franco Montagna, Giulia Si...