Sciweavers

721 search results - page 33 / 145
» Stability for Effective Algebras
Sort
View
EDBT
2012
ACM
214views Database» more  EDBT 2012»
13 years 2 months ago
An optimization framework for map-reduce queries
We present an effective optimization framework for general SQLlike map-reduce queries, which is based on a novel query algebra and uses a small number of higher-order physical ope...
Leonidas Fegaras, Chengkai Li, Upa Gupta
BIOCOMP
2006
15 years 1 months ago
Basic Reproductive Rate of a Spatial Epidemic Seir Model using Computer Algebra Software
The use of computer algebra software has many applications in diverse fields like epidemiology. This work pretends to show how computer algebra software applications for symbolic ...
Sebastian Guzmán, Juan Fernando Ospina
CGF
2007
103views more  CGF 2007»
14 years 11 months ago
Synthetic Shutter Speed Imaging
Hand held long exposures often result in blurred photographs due to camera shake. Long exposures are desirable both for artistic effect and in low-light situations. We propose a n...
Jacob Telleen, Anne Sullivan, Jerry Yee, Oliver Wa...
ICRA
2005
IEEE
113views Robotics» more  ICRA 2005»
15 years 5 months ago
Symmetric Walking Control: Invariance and Global Stability
— This paper first presents a novel control strategy for periodic motion control based on a Hamiltonian system. According to the strategy, hybrid symmetric orbits (ideal walking...
Sang-Ho Hyon, Takashi Emura
JSYML
2000
69views more  JSYML 2000»
14 years 11 months ago
Topological Elementary Equivalence of Closed Semi-Algebraic Sets in The Real Plane
We investigate topological properties of subsets S of the real plane, expressed by first-order logic sentences in the language of the reals augmented with a binary relation symbol...
Bart Kuijpers, Jan Paredaens, Jan Van den Bussche