11716 search results - page 34 / 2344 » Computable symbolic dynamics |
IRI
2009
IEEE
14 years 4 months ago
2009
IEEE
In this paper we describe an approach to build XML schemas in a collaborative way. The approach is based on computing intersection between sequences of type terms built over const...
MEMBRANE
2005
Springer
14 years 3 months ago
2005
Springer
Some features capturing the computational completeness of P systems with maximal parallelism, priorities or zero-test using symbol objects are studied through Petri nets. The obtai...
ISSAC
1995
Springer
14 years 1 months ago
1995
Springer
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...
IROS
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract— This paper presents a new hierarchical segmentation of the observed driving behavioral data based on the levels of abstraction of the underlying dynamics. By synthesizi...
CSB
2005
IEEE
14 years 3 months ago
2005
IEEE
Symbolic rewriting systems are gaining interest as tools for simulating biochemical dynamics. Compared to traditional methods based on differential equations, the symbolic approac...