Sciweavers

716 search results - page 23 / 144
» time 1997
Sort
View
ECSQARU
1997
Springer
15 years 4 months ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...
ISPAN
1997
IEEE
15 years 4 months ago
A method for estimating optimal unrolling times for nested loops
Loop unrolling is one of the most promising parallelization techniques, because the nature of programs causes most of the processing time to be spent in their loops. Unrolling not...
Akira Koseki, Hideaki Komatsu, Yoshiaki Fukazawa
79
Voted
AAAI
1997
15 years 1 months ago
Reinforcement Learning with Time
This paper steps back from the standard infinite horizon formulation of reinforcement learning problems to consider the simpler case of finite horizon problems. Although finite ho...
Daishi Harada
101
Voted
DAGSTUHL
1997
15 years 1 months ago
Spotting Structure in Complex Time Dependent Flow
Analyzing structure in complex time dependent flow fields is a challenging problem. This paper describes the use of spot noise for the visualization of this type of fields. Spo...
Wim C. de Leeuw, Robert van Liere
ICC
1997
IEEE
15 years 4 months ago
Real-Time Cell Loss Estimation for ATM Multiplexers with Heterogeneous ON/OFF Sources
: We are concerned with a real-time quality of service (QOS) estimation method for ATM statistical multiplexers with heterogeneous ON/OFF sources. We propose a real-time modeling m...
Sang Hyuk Kang, Dan Keun Sung