Sciweavers

896 search results - page 165 / 180
» Stepwise Refinement of Processes
Sort
View
COMPSAC
2002
IEEE
15 years 6 months ago
Framework for Goal Driven System Design
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...
Juha Savolainen, Juha Kuusela
SOFSEM
2000
Springer
15 years 5 months ago
Exhaustive Search, Combinatorial Optimization and Enumeration: Exploring the Potential of Raw Computing Power
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 ...
Jürg Nievergelt
124
Voted
CIKM
2008
Springer
15 years 3 months ago
MedSearch: a specialized search engine for medical information retrieval
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...
Gang Luo, Chunqiang Tang, Hao Yang, Xing Wei
106
Voted
AAAI
2010
15 years 3 months ago
PUMA: Planning Under Uncertainty with Macro-Actions
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...
Ruijie He, Emma Brunskill, Nicholas Roy
87
Voted
CAINE
2007
15 years 3 months ago
Systems Modeling of Alveolar Morphogenesis In Vitro
We present a pulmonary alveolar epithelial cell model and its simulation results aimed to provide mechanistic insight into biological principles that underlie alveolar morphogenes...
Sean H. J. Kim, Sunwoo Park, Wei Yu, Keith E. Most...