Sciweavers

4359 search results - page 211 / 872
» Automated Pipeline Design
Sort
View
150
Voted
ATAL
2005
Springer
15 years 5 months ago
Automated resource-driven mission phasing techniques for constrained agents
A constrained agent is limited in the actions that it can take at any given time, and a challenging problem is to design policies for such agents to do the best they can despite t...
Jianhui Wu, Edmund H. Durfee
126
Voted
IADIS
2004
15 years 5 months ago
An internet-based automated virtual reality generator for pain relief
The Internet has impacted our lives in many different ways. In this paper we present an Internet-based automated virtual reality (VR) generator for pain relief of hospitalized bur...
Yingcai Xiao, Michael Tipton
139
Voted
DMDW
2000
151views Management» more  DMDW 2000»
15 years 5 months ago
Automated dimensionality reduction of data warehouses
A data warehouse is designed to consolidate and maintain all attributes that are relevant for the analysis processes. Due to the rapid increase in the size of the modern operation...
Mark Last, Oded Maimon
133
Voted
BELL
2000
107views more  BELL 2000»
15 years 3 months ago
Automating software feature verification
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
Gerard J. Holzmann, Margaret H. Smith
163
Voted
IJCAT
2010
132views more  IJCAT 2010»
15 years 2 months ago
Using weaving models to automate model-driven web engineering proposals
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
Juan M. Vara, Valeria de Castro, Marcos Didonet De...