1057 search results - page 65 / 212 » its 1998 |
DAC
1998
ACM
14 years 11 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
ICML
1998
IEEE
14 years 10 months ago
1998
IEEE
This paper presents a new approach to hierarchical reinforcement learning based on the MAXQ decomposition of the value function. The MAXQ decomposition has both a procedural seman...
ROBOCUP
2001
Springer
14 years 2 months ago
2001
Springer
. 5dpo is a team created in 1998 in the Faculty of Engineering of the University of Porto in Portugal. The team regularly participates in RoboCup middle-size and small size leagues...
ACSD
1998
IEEE
14 years 2 months ago
1998
IEEE
We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is success...
ACSD
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper makes the idea of memory shadowing [5] applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's pipeline verification method [...