1469 search results - page 229 / 294 » Discretization of a Continuous Curve |
145
click to vote
ROBOCUP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
125
click to vote
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
159
click to vote
WSC
1997
15 years 5 months ago
1997
Simulation modeling can be highly effective for solving problems found in the food, beverage, consumer products, and pharmaceutical industries. The flow of material or fluid in th...
152
click to vote
ISCAS
2011
IEEE
14 years 8 months ago
2011
IEEE
— we present an implementation of a programmable axonal propagation delay circuit which uses one first-order logdomain low-pass filter. Delays may be programmed in the 550ms rang...
189
click to vote
CGF
2011
14 years 8 months ago
2011
We propose a method for interactive cloning of 3D surface geometry using a paintbrush interface, similar to the continuous cloning brush popular in image editing. Existing interac...