5314 search results - page 690 / 1063 » Hybrid Dynamic Programming |
191
click to vote
MEMBRANE
2004
Springer
16 years 4 days ago
2004
Springer
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...
173
click to vote
SAT
2004
Springer
16 years 4 days ago
2004
Springer
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...
204
Voted
CA
2003
IEEE
16 years 2 days ago
2003
IEEE
In this paper we propose an XML-based markup language, called XSTEP, for embodied agents, based on the scripting language STEP. XSTEP is the XML-based successor of STEP. The scrip...
217
click to vote
VISSOFT
2002
IEEE
15 years 11 months ago
2002
IEEE
Interesting events and state mapping are two approaches used to specify software visualization. They are applied in, respectively, event-driven and data-driven visualization syste...
158
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...