Relevant bibliographies by topics / Incremental Model

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Incremental Model'

Author: Grafiati
Published: 4 June 2021
Last updated: 2 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Incremental Model.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Incremental Model"

1

Poesio, Massimo, and Hannes Rieser. "An Incremental Model of Anaphora and Reference Resolution Based on Resource Situations." Dialogue & Discourse 2, no. 1 (May 3, 2011): 235–77. http://dx.doi.org/10.5087/dad.2011.110.

Full text
Abstract:
Notwithstanding conclusive psychological and corpus evidence that at least some aspects of anaphoric and referential interpretation take place incrementally, and the existence of some computational models of incremental reference resolution, many aspects of the linguistics of incremental reference interpretation still have to be better understood. We propose a model of incremental reference interpretation based on Loebner’s theory of definiteness and on the theory of anaphoric accessibility via resource situations developed in Situation Semantics, and show how this model can account for a variety of psychological results about incremental reference interpretation.
APA, Harvard, Vancouver, ISO, and other styles
2

Zubair Asghar, Muhammad, Aurangzeb Khan, Fazal Masud Kundi, Maria Qasim, Furqan Khan, Rahman Ullah, and Irfan Ullah Nawaz. "Medical opinion lexicon: an incremental model for mining health reviews." International Journal of Academic Research 6, no. 1 (January 30, 2014): 295–302. http://dx.doi.org/10.7813/2075-4124.2014/6-1/a.39.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Maulana, Harry Fajar, Sry Mayunita, Hastuti Hastuti, and Andy Arya Maulana Wijaya. "Diskurusus Kebijakan Publik Model Incremental." Kybernan: Jurnal Studi Kepemerintahan 3, no. 1 (September 1, 2018): 1–13. http://dx.doi.org/10.35326/kybernan.v3i1.330.

Full text
Abstract:
Salah satu kesulitan dalam kebijakan publik adalah efisiensi waktu, dimanakebijakan akan selalu melibatkan waktu, tenaga dan materi yang cukup panjang. Artikel inibertujuan untuk memberikan beberapa perspektif untuk medeskripsikan usahapembuatan kebijakan publik dengan sederhana. Melalui pendekatan inkremental, artikelyang didasarkan pada studi pustaka ini mencoba mengurai berbagai persepektif tentangkebijakan publik model inkremental. Maka, artikel ini menemukan bahwa modelInkremental dapat dinyatakan sebagai sebuah model kebijakan yang dilakukan denganmendesain ulang kebijakan yang ada namun masih dalam koridor rangka utama kebijakanasalnya. Model Inkremental dilakukan untuk menghadapi masalah yang membutuhkanpenanganan dengan waktu yang cukup singkat. Tantangannya adalah dalam modelkebijakan ini, seringkali membutuhkan ketelitian aktor kebijakan dan pilihan-pilihanalternatif yang tidak mudah.
APA, Harvard, Vancouver, ISO, and other styles
4

Yang, Chuan-sheng, Yu-jia Zheng, and Chao Wang. "Incremental multivariate Markov chain model." Journal of Engineering 2018, no. 16 (November 1, 2018): 1433–35. http://dx.doi.org/10.1049/joe.2018.8278.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Uchitel, Sebastian, Dalal Alrajeh, Shoham Ben-David, Victor Braberman, Marsha Chechik, Guido De Caso, Nicolas D’Ippolito, et al. "Supporting incremental behaviour model elaboration." Computer Science - Research and Development 28, no. 4 (October 25, 2012): 279–93. http://dx.doi.org/10.1007/s00450-012-0233-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Wang, Jingjing, Wenjun Jiang, Kenli Li, Guojun Wang, and Keqin Li. "Incremental Group-Level Popularity Prediction in Online Social Networks." ACM Transactions on Internet Technology 22, no. 1 (February 28, 2022): 1–26. http://dx.doi.org/10.1145/3461839.

Full text
Abstract:
Predicting the popularity of web contents in online social networks is essential for many applications. However, existing works are usually under non-incremental settings. In other words, they have to rebuild models from scratch when new data occurs, which are inefficient in big data environments. It leads to an urgent need for incremental prediction, which can update previous results with new data and conduct prediction incrementally. Moreover, the promising direction of group-level popularity prediction has not been well treated, which explores fine-grained information while keeping a low cost. To this end, we identify the problem of incremental group-level popularity prediction, and propose a novel model IGPP to address it. We first predict the group-level popularity incrementally by exploiting the incremental CANDECOMP/PARAFCAC (CP) tensor decomposition algorithm. Then, to reduce the cumulative error by incremental prediction, we propose three strategies to restart the CP decomposition. To the best of our knowledge, this is the first work that identifies and solves the problem of incremental group-level popularity prediction. Extensive experimental results show significant improvements of the IGPP method over other works both in the prediction accuracy and the efficiency.
APA, Harvard, Vancouver, ISO, and other styles
7

Giese, Holger, and Robert Wagner. "From model transformation to incremental bidirectional model synchronization." Software & Systems Modeling 8, no. 1 (March 28, 2008): 21–43. http://dx.doi.org/10.1007/s10270-008-0089-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

de Carvalho, Sergio E. R., and Toacy C. de Oliveirae. "An Incremental Model for Concurrent Objects." Electronic Notes in Theoretical Computer Science 14 (1998): 86–93. http://dx.doi.org/10.1016/s1571-0661(05)80231-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Krishnamurthi, Shriram, and Kathi Fisler. "Foundations of incremental aspect model-checking." ACM Transactions on Software Engineering and Methodology 16, no. 2 (April 2007): 7. http://dx.doi.org/10.1145/1217295.1217296.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Potts, Duncan, and Claude Sammut. "Incremental Learning of Linear Model Trees." Machine Learning 61, no. 1-3 (June 9, 2005): 5–48. http://dx.doi.org/10.1007/s10994-005-1121-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Incremental Model"

1

Ogunyomi, Babajide J. "Incremental model-to-text transformation." Thesis, University of York, 2016. http://etheses.whiterose.ac.uk/14244/.

Full text
Abstract:
Model-driven engineering (MDE) promotes the use of abstractions to simplify the development of complex software systems. Through several model management tasks (e.g., model verification, re-factoring, model transformation), many software development tasks can be automated. For example, model-to-text transformations (M2T) are used to realize textual development artefacts (e.g., documentation, configuration scripts, code, etc.) from underlying source models. Despite the importance of M2T transformation, contemporary M2T languages lack support for developing transformations that scale. As MDE is applied to systems of increasing size and complexity, a lack of scalable M2T transformations and other model management tasks hinders industrial adoption. This is largely due to the fact that model management tools do not support efficient propagation of changes from models to other development artefacts. As such, the re-synchronisation of generated textual artefacts with underlying system models can take considerably large amount of time to execute due to redundant re-computations. This thesis investigates scalability in the context of M2T transformation, and proposes two novel techniques that enable efficient incremental change propagation from models to generated textual artefacts. In contrast to existing incremental M2T transformation technique, which relies on model differencing, our techniques employ fundamentally different approaches to incremental change propagation: they use a form of runtime analysis that identifies the impact of source model changes on generated textual artefacts. The structures produced by this runtime analysis, are used to perform efficient incremental transformations (scalable transformations). This claim is supported by the results of empirical evaluation which shows that the techniques proposed in this thesis can be used to attain an average reduction of 60% in transformation execution time compared to non-incremental (batch) transformation.
APA, Harvard, Vancouver, ISO, and other styles
2

Forsman, Mikael. "A Model Implementation of Incremental Risk Charge." Thesis, KTH, Matematisk statistik, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-102752.

Full text
Abstract:
Abstract In 2009 the Basel Committee on Banking Supervision released the final guidelines for computing capital for the Incremental Risk Charge, which is a complement to the traditional Value at Risk intended to measure the migration risk and the default risk in the trading book. Before Basel III banks will have to develop their own Incremental Risk Charge model following these guidelines. The development of such a model that computes the capital charge for a portfolio of corporate bonds is described in this thesis. Essential input parameters like the credit ratings of the underlying issuers, credit spreads, recovery rates at default, liquidity horizons and correlations among the positions in the portfolio will be discussed. Also required in the model is the transition matrix with probabilities of migrating between different credit states, which is measured by historical data from Moody´s rating institute. Several sensitivity analyses and stress tests are then made by generating different scenarios and running them in the model and the results of these tests are compared to a base case. As it turns out, the default risk contributes for the most part of the Incremental Risk Charge.
APA, Harvard, Vancouver, ISO, and other styles
3

Hinkel, Georg [Verfasser]. "Implicit Incremental Model Analyses and Transformations / Georg Hinkel." Karlsruhe : KIT Scientific Publishing, 2021. http://d-nb.info/1239420544/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Fang, Yimai. "Proposition-based summarization with a coherence-driven incremental model." Thesis, University of Cambridge, 2019. https://www.repository.cam.ac.uk/handle/1810/287468.

Full text
Abstract:
Summarization models which operate on meaning representations of documents have been neglected in the past, although they are a very promising and interesting class of methods for summarization and text understanding. In this thesis, I present one such summarizer, which uses the proposition as its meaning representation. My summarizer is an implementation of Kintsch and van Dijk's model of comprehension, which uses a tree of propositions to represent the working memory. The input document is processed incrementally in iterations. In each iteration, new propositions are connected to the tree under the principle of local coherence, and then a forgetting mechanism is applied so that only a few important propositions are retained in the tree for the next iteration. A summary can be generated using the propositions which are frequently retained. Originally, this model was only played through by hand by its inventors using human-created propositions. In this work, I turned it into a fully automatic model using current NLP technologies. First, I create propositions by obtaining and then transforming a syntactic parse. Second, I have devised algorithms to numerically evaluate alternative ways of adding a new proposition, as well as to predict necessary changes in the tree. Third, I compared different methods of modelling local coherence, including coreference resolution, distributional similarity, and lexical chains. In the first group of experiments, my summarizer realizes summary propositions by sentence extraction. These experiments show that my summarizer outperforms several state-of-the-art summarizers. The second group of experiments concerns abstractive generation from propositions, which is a collaborative project. I have investigated the option of compressing extracted sentences, but generation from propositions has been shown to provide better information packaging.
APA, Harvard, Vancouver, ISO, and other styles
5

ラハディアン, ユスフ, and Rahadian Yusuf. "Evolving user-specific emotion recognition model via incremental genetic programming." Thesis, https://doors.doshisha.ac.jp/opac/opac_link/bibid/BB13044976/?lang=0, 2017. https://doors.doshisha.ac.jp/opac/opac_link/bibid/BB13044976/?lang=0.

Full text
Abstract:
本論文では，漸進型遺伝的プログラミングを用いて特定ユーザを対象にした感情認識モデルを進化的に実現する方法論について提案した．特徴量の木構造で解を表現する遺伝的プログラミングを用い，時間情報も含め顔表情データを取得できる汎用センサの情報を基にユーザ適応型の感情認識モデルを進化させた．同時に遺伝的プログラミングの非決定性，汎化性の欠如，過適応に対処するため，進化を漸進的に展開する機構を組み込んだ漸進型遺伝的プログラミング法を開発した．
This research proposes a model to tackle challenges common in Emotion Recognition based on facial expression. First, we use pervasive sensor and environment, enabling natural expressions of user, as opposed to unnatural expressions on a large dataset. Second, the model analyzes relevant temporal information, unlike many other researches. Third, we employ user-specific approach and adaptation to user. We also show that our evolved model by genetic programming can be analyzed on how it really works and not a black-box model.
博士(工学)
Doctor of Philosophy in Engineering
同志社大学
Doshisha University
APA, Harvard, Vancouver, ISO, and other styles
6

Mao, Ai-sheng. "A Theoretical Network Model and the Incremental Hypercube-Based Networks." Thesis, University of North Texas, 1995. https://digital.library.unt.edu/ark:/67531/metadc277860/.

Full text
Abstract:
The study of multicomputer interconnection networks is an important area of research in parallel processing. We introduce vertex-symmetric Hamming-group graphs as a model to design a wide variety of network topologies including the hypercube network.
APA, Harvard, Vancouver, ISO, and other styles
7

Josimovic, Aleksandra. "AI as a Radical or Incremental Technology Tool Innovation." Thesis, KTH, Industriell Management, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-230603.

Full text
Abstract:
As researchers found that throughout the history a common challenge for companies across different industries, when it comes to leveraging and capturing value from a technology innovation is strongly influenced by the company’s dominant business model, an established framework through which assessment takes place. The overall purpose of this study is to provide a deeper understanding of the role that company's dominant business model has on the assessment of the impact that new technology innovation, in this case, AI, will have on the company and the market on which company operates. This thesis is partially exploratory and partially descriptive with a qualitative and deductive nature. In order to answer the purpose, a research strategy of case studies was used where empirical data was collected from interviews held with 47 company’s top executives from different hierarchical levels and business units, from Sweden, Switzerland, the USA, Germany, and Finland. The theoretical framework that describes the how AI as a new technology tool is perceived from the Company X perspective, either as a radical, game changer, or an incremental innovation technology tool and examines the role that dominant business model has on this perception was created. The developed implementation framework had its foundation in previous research concerning innovation business model theories. The data that was collected from the company’s executives were then analyzed and compared to the model. The most significant findings suggest that AI as a new technology tool is perceived as a game changer, radical innovation tool for some areas within the Company X and that the company dominant business model profoundly influences this perception.
Som forskare fann att genom hela historien är en gemensam utmaning för företag inom olika branscher när det gäller att utnyttja och fånga värde från en teknologisk innovation starkt påverkad av företagets dominerande affärsmodell, en etablerad ram genom vilken bedömning sker. Det övergripande syftet med denna studie är att ge en djupare förståelse för den roll som företagets dominerande affärsmodell har vid bedömningen av den inverkan som ny teknik innovation, i detta fall AI, kommer att ha på företaget och marknaden där företaget driver . Denna avhandling är delvis undersökande och delvis beskrivande med kvalitativ och deduktiv natur. För att svara på målet användes en forskningsstrategi av fallstudier där empiriska data samlades in från intervjuer med 47 bolagets ledande befattningshavare från olika hierarkiska nivåer och affärsenheter, från Sverige, Schweiz, USA, Tyskland och Finland. Den teoretiska ram som beskriver hur AI som ett nytt teknikverktyg uppfattas ur företagets Xperspektiv, antingen som en radikal, spelväxlare eller ett inkrementellt innovationsteknologiprogram och undersöker den roll som dominerande affärsmodell har på denna uppfattning skapades. Den utvecklade implementeringsramen har grundat sig i tidigare forskning rörande innovationsmodellteorier. Data som samlades in från företagets chefer analyserades sedan och jämfördes med modellen. De viktigaste resultaten tyder på att AI som ett nytt teknikverktyg uppfattas som en spelväxlare, radikalt innovationsverktyg för vissa områden inom företaget X och att företagets dominerande affärsmodell påverkar denna uppfattning väsentligt.
APA, Harvard, Vancouver, ISO, and other styles
8

Hinkel, Georg [Verfasser], and R. [Akademischer Betreuer] Reussner. "Implicit Incremental Model Analyses and Transformations / Georg Hinkel ; Betreuer: R. Reussner." Karlsruhe : KIT-Bibliothek, 2018. http://d-nb.info/1163320390/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Sindhu, Muddassar. "Incremental Learning and Testing of Reactive Systems." Licentiate thesis, KTH, Teoretisk datalogi, TCS, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-37763.

Full text
Abstract:
This thesis concerns the design, implementation and evaluation of a specification based testing architecture for reactive systems using the paradigm of learning-based testing. As part of this work we have designed, verified and implemented new incremental learning algorithms for DFA and Kripke structures.These have been integrated with the NuSMV model checker to give a new learning-based testing architecture. We have evaluated our architecture on case studies and shown that the method is effective.
QC 20110822
APA, Harvard, Vancouver, ISO, and other styles
10

Balasubramanian, Harish. "Incremental Design Migration Support in Industrial Control Systems Development." Thesis, Virginia Tech, 2014. http://hdl.handle.net/10919/50990.

Full text
Abstract:
Industrial control systems (ICS) play an extremely important role in the world around us. They have helped in reducing human effort and contributed to automation of processes in oil refining, power generation, food and beverage and production lines. With advancement in technology, embedded platforms have emerged as ideal platforms for implementation of such ICSes. Traditional approaches in ICS design involve switching from a model or modeling environment directly to a real-world implementation. Errors have the potential to go unnoticed in the modeling environment and have a tendency to affect real control systems. Current models for error identification are complex and affect the design process of ICS appreciably. This thesis adds an additional layer to ICS design: an Interface Abstraction Process (IAP). IAP helps in incremental migration from a modeling environment to a real physical environment by supporting intermediate design versions. Implementation of the IAP is simple and independent of control system complexity. Early error identification is possible since intermediate versions are supported. Existing control system designs can be modified minimally to facilitate the addition of an extra layer. The overhead of adding the IAP is measured and analysed. With early validation, actual behavior of the ICS in the real physical setting matches the expected behavior in the modeling environment. This approach to ICS design adds a significant amount of latency to existing ICSes without affecting the design process significantly. Since the IAP helps in early design validation, it can be removed before deployment in the real-world.
Master of Science
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Incremental Model"

1

Bornkessel, Ina. The argument dependency model: A neurocognitive approach to incremental interpretation. Leipzig: MPI of Cognitive Neuroscience, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Gettings, Michael. Diamond: A model of incremental decision making for resource acquisition of electric utilities. Oak Ridge, Tenn: Oak Ridge National Laboratory, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Mitchell, Bridger M. Incremental capital costs of telephone access and local use. Santa Monica, CA: Rand, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Baldwin, Richard E. Incremental trade policy and endogenous growth: A q-theory approach. Cambridge, MA: National Bureau of Economic Research, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Krimgold, Frederick. Incremental seismic rehabilitation of hotel and motel buildings: Providing protection to people and buildings. [Washington, D.C.]: U.S. Dept. of Homeland Security, FEMA, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Puga, Diego. Wake up and smell the ginseng: The rise of incremental innovation in low-wage countries. Cambridge, MA: National Bureau of Economic Research, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Nonlinear computational structural mechanics: New approaches and non-incremental methods of calculation. New York: Springer, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Buchler, Justin. Incremental Polarization. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190865580.001.0001.

Full text
Abstract:
This book provides a unified spatial model of legislative elections, parties, and roll call voting to address three primary questions: why do legislators adopt extreme positions, how do they win given their extremism, and what role do parties play in promoting polarization? The book links spatial models of elections to spatial models of roll call voting in the legislature, and suggests that the key to understanding polarization is to reverse the order of conventional models and place the legislative session before the election because legislators adopt positions in the policy space, extreme or otherwise, through the incremental process of casting roll call votes. Linking a spatial model of an election to a model of roll call voting, the book derives the following. When a legislative caucus is ideologically homogeneous, electorally diverse, and policy motivated, it will empower party leaders to solve the collective action problem of sincere voting by counterbalancing members’ electoral pressure to vote as centrists. The result is that the caucus achieves policy goals at the cost of some electoral security, but agenda paradoxes minimize the electoral damage done, so most incumbents win re-election anyway at only slightly diminished margins. This model explains the development of polarization in the House of Representatives throughout the post–World War II period, and key votes on legislation such as the Affordable Care Act. Moreover, even the unusual politics within the Republican Party during the divided government period from 2011 through 2016 follow naturally from extensions of the model.
APA, Harvard, Vancouver, ISO, and other styles
9

Boehm, Barry W. Incremental Commitment Spiral Model: Principles and Practices for Successful Systems and Software. Pearson Education, Limited, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Gettings, M. B. DIAMOND: A model of incremental decision making for resource acquisition by electric utilities. Oak Ridge National Laboratory., 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Incremental Model"

1

Musuvathi, Madanlal, and David L. Dill. "An Incremental Heap Canonicalization Algorithm." In Model Checking Software, 28–42. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11537328_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Hassan, Zyad, Aaron R. Bradley, and Fabio Somenzi. "Incremental, Inductive CTL Model Checking." In Computer Aided Verification, 532–47. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31424-7_38.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Mens, Tom, and Ragnhild Van Der Straeten. "Incremental Resolution of Model Inconsistencies." In Recent Trends in Algebraic Development Techniques, 111–26. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-71998-4_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Kahrs, Olaf, Marc Brendel, Claas Michalik, and Wolfgang Marquardt. "Incremental Identification of Hybrid Models of Dynamic Process Systems." In Model-Based Control:, 185–202. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0895-7_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Jouault, Frédéric, and Massimo Tisi. "Towards Incremental Execution of ATL Transformations." In Theory and Practice of Model Transformations, 123–37. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-13688-7_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Bergmann, Gábor, Ákos Horváth, István Ráth, Dániel Varró, András Balogh, Zoltán Balogh, and András Ökrös. "Incremental Evaluation of Model Queries over EMF Models." In Model Driven Engineering Languages and Systems, 76–90. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16145-2_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Sokolsky, Oleg V., and Scott A. Smolka. "Incremental model checking in the modal mu-calculus." In Computer Aided Verification, 351–63. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58179-0_67.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Benattou, Mohammed, and Lotfi Lakhal. "Incremental inheritance model for an OODBMS." In Lecture Notes in Computer Science, 68–80. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0022019.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Fischer, Edward. "Process Model Based Incremental Project Planning." In Computational Science and Its Applications – ICCSA 2010, 285–300. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-12165-4_23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Makowsky, J. A., and E. V. Ravve. "Incremental model checking for decomposable structures." In Lecture Notes in Computer Science, 540–51. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60246-1_159.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Incremental Model"

1

Marussy, Kristóf, Oszkár Semeráth, and Dániel Varró. "Incremental View Model Synchronization Using Partial Models." In MODELS '18: ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3239372.3239412.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Rüegg, Ulf, Rajneesh Lakkundi, Ashwin Prasad, Anand Kodaganur, Christoph Daniel Schulze, and Reinhard von Hanxleden. "Incremental diagram layout for automated model migration." In MODELS '16: ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2976767.2976805.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Khalil, Amal, and Juergen Dingel. "Incremental symbolic execution of evolving state machines." In 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 2015. http://dx.doi.org/10.1109/models.2015.7338231.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bradley, Aaron R. "Incremental, Inductive Model Checking." In 2013 20th International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2013. http://dx.doi.org/10.1109/time.2013.9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Mi, Fei, and Boi Faltings. "Memory Augmented Neural Model for Incremental Session-based Recommendation." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/300.

Full text
Abstract:
Increasing concerns with privacy have stimulated interests in Session-based Recommendation (SR) using no personal data other than what is observed in the current browser session. Existing methods are evaluated in static settings which rarely occur in real-world applications. To better address the dynamic nature of SR tasks, we study an incremental SR scenario, where new items and preferences appear continuously. We show that existing neural recommenders can be used in incremental SR scenarios with small incremental updates to alleviate computation overhead and catastrophic forgetting. More importantly, we propose a general framework called Memory Augmented Neural model (MAN). MAN augments a base neural recommender with a continuously queried and updated nonparametric memory, and the predictions from the neural and the memory components are combined through another lightweight gating network. We empirically show that MAN is well-suited for the incremental SR task, and it consistently outperforms state-oft-he-art neural and nonparametric methods. We analyze the results and demonstrate that it is particularly good at incrementally learning preferences on new and infrequent items.
APA, Harvard, Vancouver, ISO, and other styles
6

Le Calvar, Theo, Frederic Jouault, Fabien Chhel, Frederic Saubion, and Mickael Clavreul. "Intensional View Definition with Constrained Incremental Transformation Rules." In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 2019. http://dx.doi.org/10.1109/models-c.2019.00061.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Semeráth, Oszkár, Csaba Debreceni, Ákos Horváth, and Dániel Varró. "Incremental backward change propagation of view models by logic solvers*." In MODELS '16: ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2976767.2976788.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Gu, Xiaojun, Wael Zaki, Ziad Moumni, and Weihong Zhang. "Implementation of the Large Time Increment Method for the Simulation of Pseudoelastic Shape Memory Alloys." In ASME 2015 Conference on Smart Materials, Adaptive Structures and Intelligent Systems. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/smasis2015-8923.

Full text
Abstract:
The paper presents a numerical implementation of the Large Time Increment (LaTIn) method for the integration of the ZM model [1] for SMAs in the pseudoelastic range. LaTIn was initially proposed as an alternative to the conventional incremental approach for the integration of nonlinear constitutive models [2]. It is adapted here for the simulation of pseudoelastic SMA behavior and is shown to be especially useful in situations where the phase transformation process presents little to no hardening. In these situations, a slight stress variation during a load increment can result in large variation of the volume fraction of martensite within a representative volume element of the SMA. This can lead to difficulty in numerical convergence if the incremental method is used. LaTIn involves two stages: in the first stage a solution satisfying the conditions of static equilibrium is obtained for each load increment without considering the consistency with the phase transformation conditions, then in the second stage consistent increments of the local state variables are determined for the entire loading path. The two stages take place sequentially, in contrast to the incremental method that requires satisfying the global equilibrium and local consistency conditions simultaneously at a given load increment before proceeding to the next. The numerical integration algorithm consists of the following steps: 1. Division of the loading path into a finite number of increments, 2. Solution for all the load increments of the static equilibrium problem in which the local consistency conditions are relaxed, 3. Update of the state variables in accordance with the consistency conditions for all the load increments. Steps 2 and 3 are repeated until a solution is reached that satisfies simultaneously the equilibrium and consistency requirements. An algorithm is presented for the implicit integration of the time-discrete equations. The algorithm is used for finite element simulations using Abaqus, in which the model is implemented by means of a user material subroutine. The simulation results are discussed in comparison with those obtained using conventional step-by-step incremental integration.
APA, Harvard, Vancouver, ISO, and other styles
9

Tiran, Stefan. "Incremental Model-Based Mutation Testing." In 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST). IEEE, 2015. http://dx.doi.org/10.1109/icst.2015.7102614.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Günther, Henning, and Georg Weissenbacher. "Incremental bounded software model checking." In ISSTA '14: International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2014. http://dx.doi.org/10.1145/2632362.2632374.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Incremental Model"

1

Fraley, Chris, Adrian Raftery, and Ron Wehrensy. Incremental Model-Based Clustering for Large Datasets With Small Clusters. Fort Belvoir, VA: Defense Technical Information Center, December 2003. http://dx.doi.org/10.21236/ada459790.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Fehl, Barry D., and Sharon B. Garner. Investigation of the Constitutive Model Used in Nonlinear, Incremental Structural Analyses. Fort Belvoir, VA: Defense Technical Information Center, June 1998. http://dx.doi.org/10.21236/ada348598.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Azizi, Yousof, Anil Bajaj, and Patricia Davies. Predicting the Response of a Seat-Occupant Model by Using Incremental Harmonic Balance. Warrendale, PA: SAE International, November 2013. http://dx.doi.org/10.4271/2013-01-9123.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Logue, Jennifer M., Willliam JN Turner, Iain S. Walker, and Brett C. Singer. Evaluation of an Incremental Ventilation Energy Model for Estimating Impacts of Air Sealing and Mechanical Ventilation. Office of Scientific and Technical Information (OSTI), July 2012. http://dx.doi.org/10.2172/1173154.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Gennari, John H., Pat Langley, and Doug Fisher. Models of Incremental Concept Formation. Fort Belvoir, VA: Defense Technical Information Center, February 1988. http://dx.doi.org/10.21236/ada191597.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Gennari, John, Pat Langley, and Douglas Fisher. Models of Incremental Concept Formation. Fort Belvoir, VA: Defense Technical Information Center, August 1988. http://dx.doi.org/10.21236/ada199617.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Steele, Russell J., Adrian E. Raftery, and Mary J. Emond. Computing Normalizing Constants for Finite Mixture Models via Incremental Mixture Importance Sampling (IMIS). Fort Belvoir, VA: Defense Technical Information Center, July 2003. http://dx.doi.org/10.21236/ada459853.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Dolph, K. Leroy. A diameter increment model for Red Fir in California and Southern Oregon. Albany, CA: U.S. Department of Agriculture, Forest Service, Pacific Southwest Research Station, 1992. http://dx.doi.org/10.2737/psw-rp-210.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Muñoz, Roberto, Sergio Hinojosa, Patricio Mansilla, Juan Luis Gómez Reino, and Gerardo Reyes-Tagle. Vieja infraestructura financia nueva infraestructura: Un modelo de crecimiento de generaciones traslapadas para reciclaje de activos públicos. Inter-American Development Bank, March 2021. http://dx.doi.org/10.18235/0003155.

Full text
Abstract:
En el presente trabajo se modela la existencia de los llamados “activos reciclables” de infraestructura y se muestra cómo este tipo de activos contribuye al crecimiento económico. Entendemos los activos reciclables como aquellos que generan un flujo de ingresos por pago por uso, a través de la delegación contractual de dichos activos al sector privado para su operación y mantenimiento. El modelo propone: a) que la administración privada de los activos permite extender su vida útil, y b) que el reciclaje de activos puede contribuir a relajar la restricción de financiamiento del Estado, permitiendo monetizar flujos cuya existencia no era evidente, y ampliando así las posibilidades de financiamiento de nueva infraestructura. El modelo concluye que el reciclaje de activos contribuye a incrementar el crecimiento económico.
APA, Harvard, Vancouver, ISO, and other styles
10

Freiría, Heber, Alejandro Nin Pratt, and Gonzalo Muñoz. Productividad y eficiencia en la producción ganadera pastoril en América Latina: Los casos de Bolivia y Colombia. Inter-American Development Bank, March 2021. http://dx.doi.org/10.18235/0003150.

Full text
Abstract:
El estudio examina el desempeño de la producción ganadera en Bolivia y Colombia. Se trata de dos ganaderías con diferente trayectoria, madurez tecnológica, y desempeño productivo, y que tienen en común la existencia de “frontera agrícola”, es decir, cambios de uso del suelo que permiten incorporar tierras de pastoreo a la ganadería, a partir de bosques. En el caso de Bolivia, el estudio se limitó a la región oriental, compuesta por los departamentos de Beni y Santa Cruz, que concentra la mayor parte del inventario ganadero del país. Beni, el departamento tradicionalmente ganadero, muestra estancamiento en el período, en lo que respecta al inventario ganadero y la productividad. No han existido inversiones ni cambio técnico importantes en materia de alimentación y manejo del ganado. En Santa Cruz se ha producido un incremento importante de la producción en la primera mitad del período, con aumentos de productividad basados en el cambio técnico. Este cambio técnico se asocia a la implantación de pasturas, a partir de cambios en el uso del suelo. El crecimiento observado en Santa Cruz, en la primera mitad del período (hasta 2012) se detiene a partir de ese año, y la productividad de los factores decrece, dando como resultado un aumento de productividad casi nulo en el total del período analizado. El cambio técnico operado, basado en un modelo de cambio de uso del suelo con siembra de pastos, en competencia por la tierra con soja y otros cultivos, mostró su potencial de generar crecimiento, pero no fue capaz de sostenerlo. La ganadería colombiana muestra un importante incremento de producción en el período analizado. Puesto que los factores de producción (básicamente tierra e inventario ganadero), se incrementan en menor proporción, se verifica un considerable incremento en la productividad de los factores. Existe heterogeneidad en el desempeño entre rubros y regiones. La ganadería de leche es muy importante en Colombia, y predomina en regiones de trópico alto, relativamente maduras en tecnología. Al analizar la evolución de la productividad de los factores, sin embargo, la tasa de crecimiento es mayor en las regiones en que predomina la ganadería de carne. Incluso se verifica cierta sustitución entre rubros, con avance de la producción de carne en todas las regiones. El crecimiento se asocia a mejoras en nutrición del ganado, por siembra de pastos, y en menor medida suministro de suplementos. El diferente comportamiento de los rubros se refleja en su diferente capacidad de competir ante la producción importada, en la medida que la protección se reduce en el marco de los acuerdos comerciales suscritos por el país. La producción ganadera pastoril tiene a su vez implicancias ambientales Los análisis realizados en este estudio, muestran que una variable determinante de la intensidad de emisiones es la productividad de los factores. Debido a esto, la ganadería colombiana presenta menores intensidades de emisión, y con reducción a tasas mayores que las del oriente boliviano. Otro aspecto decisivo en el balance de GEI está dado por los cambios en uso del suelo asociados a la ganadería. Si la producción ganadera que reemplaza bosques no lo hace con alta productividad, el balance resultante afectará en mayor medida el desempeño ambiental de la ganadería de los países.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Incremental Model' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography