نتایج جستجو برای: symbolic modeling

تعداد نتایج: 418587  

Journal: :سیاست 0
احمد نقیب زاده استاد گروه علوم سیاسی دانشکده حقوق و علوم سیاسی دانشگاه تهران مجید استوار استادیار گروه علوم سیاسی دانشگاه آزاد اسلامی واحد رشت

we need sociology theories, for that understand of sociology and politic problems. french sociologist pierre bourdieu's theory practice and symbolic power are our best resource; for understanding social and political fields. this article reviews the language and symbolic power; indicating its function in social and political fields. we need sociology theories, for that understand of sociol...

1997
Geunbae Lee Jong-Hyeok Lee ByungChang Kim Youngjik Lee

This paper presents a statistical/symbolic hybrid morphological analysis, called V-morph, for large scale speech and natural language integration for Korean. In the V-morph approach, statistical Viterbi-based lexical decoding and symbolic morphological modeling are integrated together on top of connectionist phoneme recognition engine. Linguistic characteristics of Korean are appropriately cons...

1996
Tim Menzies

Situated cognition (SC) claims that knowledge is mostly context-dependent and that symbolic descriptions elicited prior to direct experience are less important than functional units developed via direct experience with the current problem. If this were true, then we would need to modify the knowledge modeling approaches of KA which assume that re-using old symbolic descriptions are a productivi...

2015
Kim Ouwehand T. Van Gog S. M. M. Loyens P. P. J. L. Verkoeijen M. K. Gardner

This study investigated whether the positive effects of gestures on learning by decreasing working memory load, found in children and young adults, also apply to older adults, who might especially benefit from gestures given memory deficits associated with aging. Participants learned a problem-solving skill by observing a video-based modeling example, with the human model using gesture cues, wi...

2004
Janez Stergar Çaglayan Erdem Bogomir Horvat Zdravko Kacic

Proper accentuation and phrasing make the syntactic and semantic structure of the message more transparent to the listener. Therefore a good modeling of prosody in a TTS system has to be structured into appropriate levels. The implemented prosodic hierarchy should guide the listeners’ attention and help in support of the comprehension process. Since prosody functions as a distractor, it is very...

Journal: :SHS web of conferences 2022

The purpose of the article is to consider Japanese coloratives as signs national code linguoculture from point view their content-symbolic and modeling aspects significance. combination basic clarified; pictorial, expressivepsychological, aesthetic functions are revealed. It established that function orients attitude object color designation in aspect status, prestige, reverence. Thus, form a l...

1995
Fukumi Kozato

Modeling of a connectionist rule-based systems (or Neuro-AJ hybrid system) discussed through the paper will be a fruitful step towards the practical modeling of human cognition. This paper investigates a plausible and useful integration method of symbolic Al techniques and connectionist models and proposes a practical implementation, mainly how variables can be included in the structured inform...

2008
Pietro Braione Giovanni Denaro Mauro Pezzè Bohuslav Křena

Bytecode languages are at a very desirable degree of abstraction for performing formal analysis of programs, but at the same time pose new challenges when compared with traditional languages. This paper proposes a methodology for bytecode analysis which harmonizes two well-known formal verification techniques, model checking and symbolic execution. Model checking is a property-guided exploratio...

Journal: :IEEE Trans. Parallel Distrib. Syst. 2000
Thomas Fahringer Bernhard Scholz

The quality of many optimizations and analyses of parallelizing compilers depends signiicantly on the ability to evaluate symbolic expressions and on the amount of information available about program variables at arbitrary program points. In this paper, we describe an eeective and uniied symbolic evaluation framework that statically determines the values of variables and symbolic expressions, a...

Journal: :Advances in Engineering Software 2010
Samy Ait-Aoudia Sebti Foufou

Keywords: Geometric constraints Modeling by constraints Graph-constructive solver Decomposition–recombination (DR) planning Graph algorithms Under-constrained problems a b s t r a c t Modeling by constraints enables users to describe shapes by specifying relationships between geometric elements. These relationships are called constraints. A constraint solver derives then automatically the desig...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید