Unveiling the implicit knowledge, one scenario at a time
نویسندگان
چکیده
منابع مشابه
One Loop at a Time
Classic techniques for proving termination require the identification of a measure mapping program states to the elements of a well founded domain and to show that this measure decreases with each iteration of a loop in the program. This is a global termination condition — there is a single measure which must be shown to decrease over all of the loops in the program. In this abstract we look at...
متن کاملOne step at a time
for these devices. But the macro layer of a network can be expanded to go a long way. In the near-term, the smartphone challenge is not about providing the capacity to cope with subscriber datausage, but is related to how the signaling system is configured. To build the networks that will cope with long-term predictions requires a new approach to network construction, heterogeneous networks – m...
متن کاملOne organ at a time
S tem cell research—and investment into it—has been largely inspired by the hope of using stem cells to regenerate, repair or replace damaged tissue or even whole organs. Stem cell-based therapies promise to eventually solve the problems associated with conventional organ transplantation: notably tissue rejection, a shortage of donors and the poor quality of donor organs. A much improved knowle...
متن کاملPhysical- skeletal resilience analysis of urban areas based on scenario At the time of the earthquake (Case study: Zanjan city)
This paper focuses on convergence with the measures and activities of the global assemblies in order to promote the resilience of cities against earthquakes and to pay attention to their physical- skeletal development process, to analyze the resilience of the city of Zanjan and to design scenarios against the earthquake hazard. The criteria used in order of priority and importance include: ty...
متن کاملThe One Clause at a Time (ocat) Approach to Data Mining and Knowledge Discovery
This chapter reviews a data mining and knowledge discovery approach called OCAT (for One Clause At a Time). The OCAT approach is based on concepts of mathematical logic and discrete optimization. As input it uses samples of the performance of the system (or phenomenon) under consideration and then it extracts its underlying behavior in terms of a compact and rather accurate set of classificatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Visual Computer
سال: 2020
ISSN: 0178-2789,1432-2315
DOI: 10.1007/s00371-020-01904-7