2713 search results - page 392 / 543 » Parameterized Tree Systems |
189
click to vote
CALCO
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
171
click to vote
ICAPR
2009
Springer
16 years 29 days ago
2009
Springer
— Feature selection and ensemble classification increase system efficiency and accuracy in machine learning, data mining and biomedical informatics. This research presents an ana...
154
click to vote
ICCCN
2008
IEEE
16 years 25 days ago
2008
IEEE
—Detecting anomalies during the operation of a network is an important aspect of network management and security. Recent development of high-performance embedded processing syste...
154
click to vote
IROS
2008
IEEE
16 years 24 days ago
2008
IEEE
— This paper provides a detailed analysis of the motion planning subsystem for the MIT DARPA Urban Challenge vehicle. The approach is based on the Rapidly-exploring Random Trees ...
198
click to vote
ADC
2008
Springer
16 years 22 days ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...