695 search results - page 110 / 139 » Symbolic Simulation of Hybrid Systems |
254
click to vote
ICIAR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...
138
click to vote
MEMBRANE
2009
Springer
15 years 11 months ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...
136
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper investigates the scenario of a robot making a tradeoff between tracking a time-varying reference trajectory and stopping to communicate at points where the radio sig...
136
Voted
VTC
2008
IEEE
15 years 11 months ago
2008
IEEE
— To support dynamic traffic-asymmetry property in future wireless communication systems, we propose a hybridTDD scheme, combination of static-TDD and dynamic-TDD. By using adap...
161
click to vote
CP
2000
Springer
15 years 9 months ago
2000
Springer
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...