Sciweavers

436 search results - page 74 / 88
» Recursion and Complexity
Sort
View
CTW
2004
88views more  CTW 2004»
13 years 8 months ago
A work domain analysis framework for modelling intensive care unit patients
Abstract Work domain analysis (WDA) has been applied to a range of complex work domains, but few WDAs have been undertaken in medical contexts. One ng effort suggested that clinica...
Anne Miller
ENTCS
2000
60views more  ENTCS 2000»
13 years 8 months ago
Incompleteness of Behavioral Logics
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
Samuel R. Buss, Grigore Rosu
ORL
2000
77views more  ORL 2000»
13 years 8 months ago
Improved dynamic programs for some batching problems involving the maximum lateness criterion
We study four scheduling problems involving the maximum lateness criterion and an element of batching. For all the problems that we examine, algorithms appear in the literature th...
Albert P. M. Wagelmans, A. E. Gerodimos
IJON
2002
154views more  IJON 2002»
13 years 8 months ago
Nonlinear model predictive control of a cutting process
Nonlinear model predictive control (MPC) of a simulated chaotic cutting process is presented. The nonlinear MPC combines a neural-network model and a genetic-algorithm-based optim...
Primoz Potocnik, Igor Grabec
SAJ
2002
105views more  SAJ 2002»
13 years 8 months ago
Hierarchical level of detail optimization for constant frame rate rendering of radiosity scenes
The predictive hierarchical level of detail optimization algorithm of Mason and Blake is experimentally evaluated in the form of a practical application to hierarchical radiosity....
Shaun Nirenstein, Edwin H. Blake, Simon Winberg, A...