3731 search results - page 101 / 747 » cases 2006 |
70
Voted
JSYML
2000
15 years 12 days ago
2000
The choice construct (choose x : '(x)) is useful in software speci cations. We study extensions of rst-order logic with the choice construct. We prove some results about Hilb...
105
Voted
ENGL
2006
15 years 19 days ago
2006
Applying Vector Autoregression (VAR) and genetic algorithm (GA) in hybrid systems with neural network can improve the NN's prediction capability. Two case studies have been ca...
94
Voted
FFA
2006
15 years 19 days ago
2006
A linear error-block code is a natural generalization of the classical error-correcting code and has applications in experimental design, high-dimensional numerical integration an...
77
Voted
NA
2007
15 years 3 days ago
2007
Abstract. This work presents a formulation based on UPML for truncating conductive media by using a local and non-orthogonal coordinate system to solve Maxwell’s Equations by the...
71
Voted
EXPERT
2002
15 years 12 days ago
2002
ABL is a reactive planning language, based on the Oz Project language Hap, designed specifically for authoring believable agents - characters which express rich personality, and w...