Sciweavers

614 search results - page 23 / 123
» A Variable Rate Execution Model
Sort
View
ISIPTA
1999
IEEE
108views Mathematics» more  ISIPTA 1999»
15 years 2 months ago
Coherent Models for Discrete Possibilistic Systems
We consider discrete possibilistic systems for which the available information is given by one-step transition possibilities and initial possibilities. These systems can be repres...
Hugo J. Janssen, Gert De Cooman, Etienne E. Kerre
IROS
2009
IEEE
145views Robotics» more  IROS 2009»
15 years 4 months ago
Automated manipulation of spherical objects in three dimensions using a gimbaled air jet
— This paper presents a mechanism and a control strategy that enables automated non-contact manipulation of spherical objects in three dimensions using air flow, and demonstrate...
Aaron Becker, Robert Sandheinrich, Timothy Bretl
IFIPTCS
2000
15 years 1 months ago
Masaccio: A Formal Model for Embedded Components
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
Thomas A. Henzinger
FLAIRS
2008
15 years 5 days ago
Reasoning with Conditional Time-Intervals
Reasoning with conditional time-intervals representing activities or tasks that may or may not be executed in the final schedule is crucial in many scheduling applications. In Con...
Philippe Laborie, Jerome Rogerie
CCR
2002
133views more  CCR 2002»
14 years 9 months ago
Crossover scaling effects in aggregated TCP traffic with congestion losses
We critically examine the claims that TCP congestion control contributes to the observed self-similar traffic rate correlations. A simulation model is designed to analyze aggregat...
Michael Liljenstam, Andrew T. Ogielski