11716 search results - page 86 / 2344 » Computable symbolic dynamics |
126
click to vote
AIPS
2003
15 years 7 months ago
2003
Symbolic universal planning based on the reduced Ordered Binary Decision Diagram (OBDD) has been shown to be an efficient approach for planning in non-deterministic domains. To d...
167
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
This paper considers the diagnosis of large discrete-event systems consisting of many components. The problem is to determine, online, all failures and states that explain a given...
141
click to vote
DATE
2009
IEEE
16 years 28 days ago
2009
IEEE
This paper uses under-approximation of unreachable states of a design to derive incomplete specification of combinational logic. The resulting incompletely-specified functions are...
161
click to vote
HAPTICS
2005
IEEE
15 years 11 months ago
2005
IEEE
The Maxima Haptics Package is a free software package for symbolic analysis of linear models of haptic devices and teleoperators. From a mechanical model of the haptic device, the...
177
click to vote
ICDAR
2005
IEEE
15 years 11 months ago
2005
IEEE
Natural and convenient mathematical handwriting recognition requires recognizers for large sets of handwritten symbols. This paper presents a recognition system for such handwritt...