Filters








111,525 Hits in 5.5 sec

A formal analysis of why heuristic functions work

B. John Oommen, Luis G. Rueda
2005 Artificial Intelligence  
Suppose that A could invoke one of two possible heuristic functions.  ...  We prove that given a heuristic algorithm, A, that could utilize either of two heuristic functions H 1 or H 2 used to find the solution to a particular problem, if the accuracy of evaluating the cost of  ...  between "heuristic algorithms" and the "heuristic functions" that they utilize.  ... 
doi:10.1016/j.artint.2002.02.001 fatcat:smwg7jcsw5frlhnobocqcsixuu

Axiomatic analysis and optimization of information retrieval models

Hui Fang, ChengXiang Zhai
2014 Proceedings of the 37th international ACM SIGIR conference on Research & development in information retrieval - SIGIR '14  
Functions • Beyond Basic Retrieval Models • Summary 20 • PIV • DIR • BM25 Formalization of Information Retrieval HeuristicsAnalysis of Retrieval Functions with Constraints • Development  ...  & Croft 2001], [Kurland & Lee 2004], … • Motivation • Motivation Formalization of Information Retrieval HeuristicsAnalysis of Retrieval Functions with Constraints • Development of Novel Retrieval  ...  92 Summary: Axiomatic Relevance Hypothesis • Formal retrieval function constraints for modeling relevance • Axiomatic analysis as a way to assess optimality of retrieval models • Inevitability of heuristic  ... 
doi:10.1145/2600428.2602294 dblp:conf/sigir/FangZ14 fatcat:b6rwcl5ck5gffhzd5od63ej35e

Axiomatic Analysis and Optimization of Information Retrieval Models

ChengXiang Zhai, Hui Fang
2013 Proceedings of the 2013 Conference on the Theory of Information Retrieval - ICTIR '13  
Functions • Beyond Basic Retrieval Models • Summary 20 • PIV • DIR • BM25 Formalization of Information Retrieval HeuristicsAnalysis of Retrieval Functions with Constraints • Development  ...  & Croft 2001], [Kurland & Lee 2004], … • Motivation • Motivation Formalization of Information Retrieval HeuristicsAnalysis of Retrieval Functions with Constraints • Development of Novel Retrieval  ...  92 Summary: Axiomatic Relevance Hypothesis • Formal retrieval function constraints for modeling relevance • Axiomatic analysis as a way to assess optimality of retrieval models • Inevitability of heuristic  ... 
doi:10.1145/2499178.2499205 dblp:conf/ictir/ZhaiF13 fatcat:sz3kvucwrvbadlsopuerhlefy4

Towards Competitive Instead of Biased Testing of Heuristics: A Reply to Hilbig and Richter (2011)

Henry Brighton, Gerd Gigerenzer
2011 Topics in Cognitive Science  
tests, and tests of adaptive selection of heuristics.  ...  The curious methodological practice of adopting an unrealistic measure of success to argue against a competing model, and to interpret such a finding as a triumph for a preferred but unspecified model,  ...  exploit; (b) analyzing the functional-ecological implications of these heuristics, which means understanding why and when they work; (c) examining how heuristics are selected from what we refer to as  ... 
doi:10.1111/j.1756-8765.2010.01124.x pmid:25164182 fatcat:l4u2g6aul5ehjjunv7i4brrmx4

Constraint-Based Reasoning for Search and Explanation: Strategies for Understanding Variation and Patterns in Biology

Sara Green, Nicholaos Jones
2016 Dialectica  
Formal constraints are, however, not only tools for biological explanations but can be explanatory by virtue of clarifying general dependency-relations and patterning between functions and structures.  ...  One important role of mathematical abstractions is to impose formal constraints on a search space for possible hypotheses and thereby guide the search for plausible causal models.  ...  We also thank the Center for Philosophy of Science at the University of Pittsburgh for financial support during the initial stages of this paper.  ... 
doi:10.1111/1746-8361.12145 fatcat:33ocdx4fibe37kyqffgznm6osm

Goal-oriented requirements engineering: from system objectives to UML models to precise software specifications

A. van Lamsweerde
2003 25th International Conference on Software Engineering, 2003. Proceedings.  
refinement correctness for free: (formal) proof of completeness hidden ⇒ lightweight analysis provided (Darimont'96, Letier'02) Modeling goals: tips & heuristics (8) © A. van Lamsweerde 31  ...  2 levels -semi-formal: for modeling, navigation -formal (optional): for precise reasoning u Benefits of constructive, formal reasoning at goal level 160 u Early model checking: -partial models  ...  • instances of X are non-distinguishable • X is a function (yielding one single value when applied to some conceptual instance) • the range is not a concept you want to attach attributes/associations to  ... 
doi:10.1109/icse.2003.1201266 dblp:conf/icse/Lamsweerde03 fatcat:tswkknda2ngoxbjketl5xqqymu

Heuristic Teaching Methods Of Professional Junior Bachelors In Software Engineering

Vladyslava Liubarets, Alina Lyubyma
2022 International Science Journal of Education & Linguistics  
to determine the main directions of further work and use the results of this study. preparation of future bachelors of software engineering.  ...  The main definitions of the heuristic learning theory are revealed. The meaning of the concepts: "heuristics", "heuristic learning" is specified.  ...  The study of educational and methodological literature on the topic of graduation work and elaboration of existing experience of teachers working on this topic and use it in their activities, gave the  ... 
doi:10.46299/j.isjel.20220102.1 fatcat:ik3ckmy4mfenjhagr7kknojkuu

Varieties of Heuristics in Sentence Parsing [chapter]

Makoto Nagao
1994 Current Issues in Computational Linguistics: In Honour of Don Walker  
Fillmore, is quite different from the above two grammar formalisms in the point that CG aims to clarify the roles of words in a sentence from the standpoint of meaning or of conceptual function of a word  ...  No one knows how the human brain works to speak and recognize a language. We can just approximate the human language mechanism to a certain extent from various aspects. All are heuristic.  ... 
doi:10.1007/978-0-585-35958-8_28 fatcat:yhrw6ehamvahxo7monpotbp34y

Varieties of Heuristics in Sentence Parsing [chapter]

Makoto Nagao
1996 Text, Speech and Language Technology  
Fillmore, is quite different from the above two grammar formalisms in the point that CG aims to clarify the roles of words in a sentence from the standpoint of meaning or of conceptual function of a word  ...  No one knows how the human brain works to speak and recognize a language. We can just approximate the human language mechanism to a certain extent from various aspects. All are heuristic.  ... 
doi:10.1007/978-94-010-9733-8_5 fatcat:cuseeilrnfhrdlom2mmjgs3una

Modeling non-genetic dynamics of cancer cell states measured by single-cell analysis: Uncovering bifurcations that explain why treatment either kills a cancer cell or makes it resistant [article]

Sui Huang
2019 bioRxiv   pre-print
Therapy-induced bifurcation explains why treatment backfires: a drug-treated cell is imposed the binary choice to either apoptose or become a cancer-stem cell.  ...  Single-cell transcriptomics offers a new vista on non-genetic tumor cell plasticity, a neglected aspect of cancer.  ...  , image analysis) and typically employ heuristics (ad hoc models "to see if it works").  ... 
doi:10.1101/574848 fatcat:33z6vlbpmjhxndnlcacfobif6a

Why Comparing System-Level MPSoC Mapping Approaches is Difficult: A Case Study

Andres Goens, Robert Khasanov, Jeronimo Castrillon, Simon Polstra, Andy Pimentel
2016 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSOC)  
In this work we highlight the value of common abstractions, such as KPNs and traces, as a vehicle to enable comparisons between large independent frameworks.  ...  MAPS, being a compiler framework, uses simple and fast heuristics instead.  ...  ACKNOWLEDGMENTS This work was partly supported by the German Research Foundation (DFG) within the Cluster of Excellence Center for Advancing Electronics Dresden (cfaed).  ... 
doi:10.1109/mcsoc.2016.48 dblp:conf/mcsoc/GoensKCPP16 fatcat:rzpwsazgqfhjfaygd6ghoqloh4

On the Irrelevance of Formal General Equilibrium Analysis

Dave Colander
2018 Eastern Economic Journal  
What Fisher does not explain is why we need a formal theory of value. He simply assumes that we do.  ...  ; it was not a Dave Colander On the Irrelevance of Formal General Equilibrium Analysis blueprint for policy, and thus, formal proofs of existence, uniqueness, optimality and stability were unimportant.  ... 
doi:10.1057/s41302-018-0108-7 fatcat:2dyzmbegzvaebkrb23pxympppa

USING HEURISTIC STRATEGIES TO PROMOTE MATHEMATICS PROBLEM SOLVING ABILITY OF GRADE 10 STUDENTS

Attakan Vongyai, Faculty of Education, Chiang Mai university, Chiang Mai, Thailand, Tipparat Noparit, Faculty of Education, Chiang Mai University, Chiang Mai, Thailand
2019 PEOPLE International Journal of Social Sciences  
, and Use of graphs of function, respectively.  ...  own strategies, then challenged them to utilize the complicated strategies, Guesscheck-revise, Systematic experimentation (making a table, equation), and Use of graph of function. 2) Results from the test  ...  reformulation, Solution drawing, Working backwards and Use of graphs of function.  ... 
doi:10.20319/pijss.2019.51.952968 fatcat:xu4xohi6dreghe2he2hgmqmmje

How to Explain Behavior?

Gerd Gigerenzer
2019 Topics in Cognitive Science  
The third studies the adaptive toolbox (formal models of heuristics) that describes mental processes in situations of uncertainty where an optimal solution is unknown.  ...  The first is called tools-to-theories: Psychologists' new tools for data analysis, such as computers and statistics, are turned into theories of mind.  ...  In this view, behavior is a function of heuristics, which need to be adapted to the problem at hand.  ... 
doi:10.1111/tops.12480 pmid:31692281 fatcat:bev7kkqxo5gw7j5fmwf2mlvvse

Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds? [chapter]

Karsten Loer, Michael Harrison
2001 Lecture Notes in Computer Science  
As a demonstration, we present a snapshot of our work on supporting heuristic evaluation and on the analysis of selected usability properties.  ...  Our method focuses on the exhaustive analysis of functional properties. We claim that the benefits gained by a formal approach like the one presented here justify its extra costs.  ...  We also thank Peter Wright and the referees of DSVIS 2000 for their constructive comments on previous versions of this paper.  ... 
doi:10.1007/3-540-44675-3_11 fatcat:vc4cquu2obfznad6f4r3mtbvle
« Previous Showing results 1 — 15 out of 111,525 results