5707 search results - page 29 / 1142 » Symbolic Simulation - Techniques and Applications |
ICPP
1999
IEEE
13 years 12 months ago
1999
IEEE
Task graph scheduling has been found effective in performance prediction and optimization of parallel applications. A number of static scheduling algorithms have been proposed for...
AAAI
2008
13 years 8 months ago
2008
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theor...
AGP
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper we consider the relative expressive power of two very common operators applicable to sets and multisets: the with and the union operators. For such operators we prove...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
We examine the application of current research in sparse signal recovery to the problem of channel estimation. Specifically, using an Orthogonal Frequency Division Multiplexed (O...