12289 search results - page 493 / 2458 » computing 2006 |
165
click to vote
AI
2006
Springer
15 years 6 months ago
2006
Springer
The AI and HCI communities have often been characterized as having opposing views of how humans and computers should interact. As both of them evolve, there is a deeper contrast t...
147
click to vote
JSC
2006
15 years 6 months ago
2006
We present two algorithms that can be used to check whether a given holomorphic foliation of the projective plane has an algebraic solution, and discuss the performance of their im...
166
click to vote
MP
2006
15 years 6 months ago
2006
In this paper, we provide theoretical analysis for a cubic regularization of Newton method as applied to unconstrained minimization problem. For this scheme, we prove general local...
171
click to vote
IPL
2000
15 years 6 months ago
2000
We show that stratified context unification, which is one of the most expressive fragments of context unification known to be decidable, is equivalent to the satisfiability proble...
143
Voted
INFORMATICALT
2010
15 years 5 months ago
2010
In the presented paper, some issues of the fundamental classical mechanics theory in the sense of Ising physics are introduced into the applied neural network area. The expansion o...