Sciweavers

4814 search results - page 818 / 963
» Combining abstract interpreters
Sort
View
CSDA
2008
120views more  CSDA 2008»
13 years 10 months ago
Tree-structured smooth transition regression models
ABSTRACT. This paper introduces a tree-based model that combines aspects of CART (Classification and Regression Trees) and STR (Smooth Transition Regression). The model is called t...
Joel Corrêa da Rosa, Alvaro Veiga, Marcelo C...
ENTCS
2010
133views more  ENTCS 2010»
13 years 10 months ago
Towards Measurable Types for Dynamical Process Modeling Languages
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
Eric Mjolsness
ENTCS
2008
122views more  ENTCS 2008»
13 years 10 months ago
Concurrency in Biological Modeling: Behavior, Execution and Visualization
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
David Harel, Yaki Setty, Sol Efroni, Naamah Swerdl...
AROBOTS
2006
94views more  AROBOTS 2006»
13 years 10 months ago
Multimode locomotion via SuperBot reconfigurable robots
Abstract One of the most challenging issues for a selfsustaining robotic system is how to use its limited resources to accomplish a large variety of tasks. The scope of such tasks ...
Wei-Min Shen, Maks Krivokon, Harris Chiu, Jacob Ev...
IEICET
2008
136views more  IEICET 2008»
13 years 10 months ago
Delay Analysis of Car-to-Car Reliable Data Delivery Strategies Based on Data Mulling with Network Coding
Abstract--Vehicular ad hoc networks (VANET) aims to enhance vehicle navigation safety by providing an early warning system: any chance of accidents is informed through the wireless...
Joon-Sang Park, Uichin Lee, Soon-Young Oh, Mario G...