386 search results - page 58 / 78 » Coalgebraic Hybrid Logic |
VTS
1997
IEEE
15 years 4 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
SSDBM
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper, we study the effects of compression on bitmap indexes. The main operations on the bitmaps during query processing are bitwise logical operations such as AND, OR, N...
140
click to vote
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
AIPS
2008
15 years 2 months ago
2008
When controlling an autonomous system, it is inefficient or sometimes impossible for the human operator to specify detailed commands. Instead, the field of AI autonomy has develop...
105
click to vote
TSMC
2010
14 years 6 months ago
2010
We describe a cognitive architecture for creating more robust intelligent systems by executing hybrids of algorithms based on different computational formalisms. The architecture ...