2203 search results - page 110 / 441 » Temporal Abstract Interpretation |
157
click to vote
CIG
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— This paper compares the use of temporal difference learning (TDL) versus co-evolutionary learning (CEL) for acquiring position evaluation functions for the game of Othe...
114
Voted
ASIAN
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
115
click to vote
DAC
1999
ACM
15 years 7 months ago
1999
ACM
: In this work we propose a technique for spatial and temporal partitioning of a logic circuit based on the nodes activity computed by using a simulation at an higher level of ion....
129
Voted
ADBIS
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Overlapping Linear Quadtrees is a structure suitable for storing consecutive raster images according to transaction time (a database of evolving images). This structure s...
134
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...