Sciweavers

963 search results - page 116 / 193
» On the decomposition of rational functions
Sort
View
COMPGEOM
2005
ACM
13 years 11 months ago
Fast construction of nets in low dimensional metrics, and their applications
We present a near linear time algorithm for constructing hierarchical nets in finite metric spaces with constant doubling dimension. This data-structure is then applied to obtain...
Sariel Har-Peled, Manor Mendel
AUTOMATICA
2006
106views more  AUTOMATICA 2006»
13 years 9 months ago
Barrier certificates for nonlinear model validation
Abstract-- New methods for model validation of continuoustime nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-paramet...
Stephen Prajna
IJIPT
2007
110views more  IJIPT 2007»
13 years 8 months ago
Towards an application framework for context-aware m-health applications
— Several social issues, like aging, stimulate the use of mobile ICT applications for mobile healthcare (e.g., telemonitoring). To support novel m-health applications, the conseq...
Tom Broens, Aart van Halteren, Marten van Sinderen...
NA
2010
144views more  NA 2010»
13 years 7 months ago
A binary powering Schur algorithm for computing primary matrix roots
An algorithm for computing primary roots of a nonsingular matrix A is presented. In particular, it computes the principal root of a real matrix having no nonpositive real eigenvalu...
Federico Greco, Bruno Iannazzo
ASPDAC
1998
ACM
81views Hardware» more  ASPDAC 1998»
14 years 1 months ago
A Heuristic Algorithm to Design AND-OR-EXOR Three-Level Networks
—An AND-OR-EXOR network, where the output EXOR gate has only two inputs, is one of the simplest three-level architecture. This network realizes an EXOR of two sum-of-products exp...
Debatosh Debnath, Tsutomu Sasao