Sciweavers

4744 search results - page 234 / 949
» Connected Computing
Sort
View
136
Voted
JSC
2010
96views more  JSC 2010»
15 years 2 months ago
On a generalization of Stickelberger's Theorem
We prove two versions of Stickelberger’s Theorem for positive dimensions and use them to compute the connected and irreducible components of a complex algebraic variety. If the ...
Peter Scheiblechner
101
Voted
OWLED
2008
15 years 5 months ago
Literate, Active OWL Ontologies
OWL ontologies are complex computational artifacts that are intimately connected with conceptual information and with application issues that are not easily explicable in the conte...
Bijan Parsia
130
Voted
MOC
2002
82views more  MOC 2002»
15 years 3 months ago
Lie symmetries and differential Galois groups of linear equations
For a linear ordinary differential equation the Lie algebra of its infinitesimal Lie symmetries is compared with its differential Galois group. For this purpose an algebraic formul...
W. R. Oudshoorn, M. van der Put
104
Voted
COCO
2004
Springer
79views Algorithms» more  COCO 2004»
15 years 9 months ago
Relativized NP Search Problems and Propositional Proof Systems
An NP search problem is the problems of finding a witness to the given NP predicate, and TFNP is the class of total NP search problems. TFNP contains a number of subclasses conta...
Josh Buresh-Oppenheim, Tsuyoshi Morioka
123
Voted
CORR
2010
Springer
92views Education» more  CORR 2010»
15 years 3 months ago
Hardness Results for Agnostically Learning Low-Degree Polynomial Threshold Functions
Hardness results for maximum agreement problems have close connections to hardness results for proper learning in computational learning theory. In this paper we prove two hardnes...
Ilias Diakonikolas, Ryan O'Donnell, Rocco A. Serve...