Sciweavers

687 search results - page 89 / 138
» On The Complexity of Manipulating Elections
Sort
View
ISSAC
2007
Springer
153views Mathematics» more  ISSAC 2007»
14 years 2 months ago
On exact and approximate interpolation of sparse rational functions
The black box algorithm for separating the numerator from the denominator of a multivariate rational function can be combined with sparse multivariate polynomial interpolation alg...
Erich Kaltofen, Zhengfeng Yang
LFCS
2007
Springer
14 years 2 months ago
Verifying Balanced Trees
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...
Zohar Manna, Henny B. Sipma, Ting Zhang
NN
2007
Springer
165views Neural Networks» more  NN 2007»
14 years 2 months ago
Dynamical Architecture of the Mammalian Olfactory System
The mammalian olfactory system shows many types of sensory and perceptual processing accompanied by oscillations at the level of the local field potential, and much is already know...
Leslie M. Kay
XSYM
2007
Springer
150views Database» more  XSYM 2007»
14 years 2 months ago
Fast Answering of XPath Query Workloads on Web Collections
Several web applications (such as processing RSS feeds or web service messages) rely on XPath-based data manipulation tools. Web developers need to use XPath queries effectively o...
Mariano P. Consens, Flavio Rizzolo
DATE
2006
IEEE
107views Hardware» more  DATE 2006»
14 years 2 months ago
Flexible specification and application of rule-based transformations in an automotive design flow
This paper addresses an XML-based design environment, which provides a powerful basis for the manipulation of hardware design descriptions. The contribution of the paper is a flex...
Jan-Hendrik Oetjens, Joachim Gerlach, Wolfgang Ros...