643 search results - page 96 / 129 » Parsing And Derivational Equivalence |
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
: This paper considers differential linear repetitive processes which are a distinct class of 2D systems whose dynamics evolve over a subset of the upper right quadrant of the 2D p...
FOSSACS
2001
Springer
14 years 1 months ago
2001
Springer
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we address the problem of designing energy minimizing collision-free maneuvers for multiple agents moving on a plane. We show that the problem is equivalent to that o...
HICSS
2000
IEEE
14 years 1 months ago
2000
IEEE
In the first part of the paper, daily price data for the past three summer seasons in the PJM wholesale market are used to estimate a stochastic regime switching model. These data...
DATE
1999
IEEE
14 years 1 months ago
1999
IEEE
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...