Sciweavers

89222 search results - page 58 / 17845
» Which
Sort
View
ISSAC
2004
Springer
106views Mathematics» more  ISSAC 2004»
14 years 2 months ago
Factoring polynomials via polytopes
We introduce a new approach to multivariate polynomial factorisation which incorporates ideas from polyhedral geometry, and generalises Hensel lifting. Our main contribution is to...
Fatima Abu Salem, Shuhong Gao, Alan G. B. Lauder
ISMAR
2003
IEEE
14 years 2 months ago
BLADESHIPS: An Interactive Attraction in Mixed Reality
Our purpose is to construct a new type interactive attraction which detects the user’s hand actions as triggers in a multi-participated mixed reality environment. “BLADESHIPS...
Masayuki Takemura, Shungo Haraguchi
ISAAC
2003
Springer
104views Algorithms» more  ISAAC 2003»
14 years 2 months ago
Deterministic Algorithm for the t-Threshold Set Problem
Given k sorted arrays, the t-Threshold problem, which is motivated by indexed search engines, consists of finding the elements which are present in at least t of the arrays. We pr...
Jérémy Barbay, Claire Kenyon
LICS
2002
IEEE
14 years 1 months ago
Linearity in Process Languages
The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affi...
Mikkel Nygaard, Glynn Winskel
CDC
2009
IEEE
138views Control Systems» more  CDC 2009»
14 years 1 months ago
Synthesis of a global asymptotic stabilizing feedback law for a system satisfying two different sector conditions
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...
Vincent Andrieu, Christophe Prieur, Sophie Tarbour...