896 search results - page 165 / 180 » Stepwise Refinement of Processes |
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
Architecture has been identified as a main tool for high quality system development. It encapsulates the earliest design decisions of the system under development. These decisions...
SOFSEM
2000
Springer
14 years 1 days ago
2000
Springer
For half a century since computers came into existence, the goal of finding elegant and efficient algorithms to solve "simple" (welldefined and well-structured) problems ...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
People are thirsty for medical information. Existing Web search engines often cannot handle medical search well because they do not consider its special requirements. Often a medi...
AAAI
2010
13 years 10 months ago
2010
Planning in large, partially observable domains is challenging, especially when a long-horizon lookahead is necessary to obtain a good policy. Traditional POMDP planners that plan...
CAINE
2007
13 years 10 months ago
2007
We present a pulmonary alveolar epithelial cell model and its simulation results aimed to provide mechanistic insight into biological principles that underlie alveolar morphogenes...