Sciweavers

279 search results - page 38 / 56
» Constructive Interval Disjunction
Sort
View
ICDM
2009
IEEE
146views Data Mining» more  ICDM 2009»
15 years 8 months ago
Induction of Mean Output Prediction Trees from Continuous Temporal Meteorological Data
: In this paper, we present a novel method for fast data-driven construction of regression trees from temporal datasets including continuous data streams. The proposed Mean Output ...
Dima Alberg, Mark Last, Roni Neuman, Avi Sharon
109
Voted
ERSHOV
2009
Springer
15 years 8 months ago
Standardization and Testing of Mathematical Functions
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
Victor V. Kuliamin
GI
2007
Springer
15 years 8 months ago
Test Automation Meets Static Analysis
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
Jan Peleska, Helge Löding, Tatiana Kotas
121
Voted
ICRA
2005
IEEE
119views Robotics» more  ICRA 2005»
15 years 7 months ago
Synthesis of Controllers for Stylized Planar Bipedal Walking
— We present a method for computing controllers for stable planar-biped walking gaits that follow a particular style. The desired style is specified with a kinematic target traj...
Dana Sharon, Michiel van de Panne
134
Voted
ICCS
2005
Springer
15 years 7 months ago
PATM: Priority-Based Adaptive Topology Management for Efficient Routing in Ad Hoc Networks
Abstract. We propose a distributed and adaptive topology management algorithm, called PATM (Priority-based Adaptive Topology Management), that constructs and maintains a connected ...
Haixia Tan, Weilin Zeng, Lichun Bao