9405 search results - page 243 / 1881 » Computing a Model of Set Theory |
117
click to vote
COR
2008
15 years 4 months ago
2008
Whether a given nonlinear solver can reach a feasible point for a set of nonlinear constraints depends heavily on the initial point provided. We develop a range of computationally...
145
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
The aim of this paper is to characterize the uniqueness domains in the workspace of parallel manipulators, as well as their image in the joint space. The notion of aspect introduc...
124
click to vote
ENTCS
2010
15 years 1 months ago
2010
d Set Abstraction using SAT Edd Barrett Andy King School of Computing, University of Kent, CT2 7NF, UK Symbolic decision trees are not the only way to correlate the relationship b...
125
click to vote
MMAS
2010
Springer
14 years 11 months ago
2010
Springer
One of the main applications in plasma physics concerns the energy production through thermo-nuclear fusion. The controlled fusion requires the confinement of the plasma into a bo...
177
click to vote
AAAI
2012
13 years 6 months ago
2012
This paper addresses the problem of automated advice provision in settings that involve repeated interactions between people and computer agents. This problem arises in many real ...