Filters








28,160 Hits in 2.6 sec

Solving Modular Model Expansion Tasks [article]

Shahab Tasharrofi and Xiongnan Wu and Eugenia Ternovska
2011 arXiv   pre-print
In the current paper, inspired by practical combined solvers, we introduce an algorithm to solve model expansion tasks for modular systems.  ...  We consider the model expansion task as the task representing the essence of search problems where we are given an instance of a problem and are searching for a solution satisfying certain properties.  ...  Conclusion We addressed the problem of finding solutions to a modular system in the context of model expansion and proposed an algorithm which finds such solutions.  ... 
arXiv:1109.0583v1 fatcat:lq5p4ouwx5clxarwiyhcchdrli

Solving Modular Model Expansion: Case Studies [chapter]

Shahab Tasharrofi, Xiongnan Wu, Eugenia Ternovska
2013 Lecture Notes in Computer Science  
We introduce a general algorithm to solve model expansion tasks for modular systems.  ...  In the current paper, we study existing systems that operate in a modular way in order to obtain general principles of solving modular model expansion tasks.  ...  Our algorithm is designed to solve combinatorial search problems described as modular systems in the context of model expansion.  ... 
doi:10.1007/978-3-642-41524-1_12 fatcat:h5u5o5vvkvdivfxsvs4ec3r3rm

Three Semantics for Modular Systems [article]

Shahab Tasharrofi, Eugenia Ternovska
2014 arXiv   pre-print
In this paper, we further develop the framework of Modular Systems that lays model-theoretic foundations for combining different declarative languages, agents and solvers.  ...  We prove the new semantics are equivalent to the original model-theoretic semantics and describe future research directions.  ...  Inspired by practical combined solvers, the authors of (Tasharrofi, Wu, and Ternovska 2011; Tasharrofi, Wu, and Ternovska 2012) introduced an algorithm to solve model expansion tasks for modular systems  ... 
arXiv:1405.1229v1 fatcat:mvvpx37hl5drfhsxop2f5mqbfy

Dynamic Workflow Engine of Atmospheric Big Remote Sensing Data Processing Powered by Heterogenous Platform for High Performance Computing

Sheng Zhang, Yong Xue, Xiran Zhou
2021 GI_FORUM - Journal for Geographic Information Science  
These algorithms are modular to meet the flexible combination of different processes.  ...  In order to solve this challenge, this paper proposes an architecture of heterogeneous platform of high performance computing, which employs the computer hardware resources to improve the efficiency of  ...  However, in these achievements, the high-performance computing for atmospheric big remote sensing data processing is mainly to solve a specific problem, and there are still deficiencies in modularization  ... 
doi:10.1553/giscience2021_01_s112 fatcat:leyk4ux5anf2hc4ogtxm42vxwa

Middle School Children's Thinking in Technology Education: A Review of Literature

Thomas M Sherman, Mark Sanders, Hyuksoo Kwon, James Pembridge
2009 Journal of Technology Education  
However, all the problem solving/design tasks included constraints such as time allowed to complete the task, the type of task the children were given, and materials available to complete the task.  ...  When their instruction focuses on building models, models become their "product" rather than the object the model represents.  ... 
doi:10.21061/jte.v21i1.a.4 fatcat:6hw4rjhb4bh37l627ppha5tg3e

Robot control and the evolution of modular neurodynamics

Frank Pasemann, Uli Steinmetz, Martin Hülse, Bruno Lara
2001 Theory in biosciences  
It is based on the assumption that complex internal dynamics of recurrent neural networks can efficiently solve complex behavior tasks.  ...  A modular approach to neural behavior control of autonomous robots is presented.  ...  Let A denote a neuro-controller which solves this task.  ... 
doi:10.1007/s12064-001-0025-9 fatcat:2g7sugmamjeatd66pgfr3yiuai

Robot Control and the Evolution of Modular Neurodynamics

F PASEMANN
2001 Theory in biosciences  
It is based on the assumption that complex internal dynamics of recurrent neural networks can efficiently solve complex behavior tasks.  ...  A modular approach to neural behavior control of autonomous robots is presented.  ...  Let A denote a neuro-controller which solves this task.  ... 
doi:10.1078/1431-7613-00047 fatcat:kdzfwswlffhw3ix77kybgglayu

Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic [chapter]

Marc Denecker, Joost Vennekens
2008 Lecture Notes in Computer Science  
Experiments show that FO(ID) model expansion systems are competitive with the best ASP-solvers.  ...  The feasibility of using this logic for problem solving is demonstrated by the model expansion system IDP.  ...  Most progress has been obtained for finite model expansion (MX).  ... 
doi:10.1007/978-3-540-89982-2_12 fatcat:t6kp52j4sbcvlckquq5aae53gy

RelationFactory: A Fast, Modular and Effective System for Knowledge Base Population

Benjamin Roth, Tassilo Barth, Grzegorz Chrupała, Martin Gropp, Dietrich Klakow
2014 Proceedings of the Demonstrations at the 14th Conference of the European Chapter of the Association for Computational Linguistics  
RelationFactory emphasizes modularity, is easily configurable and uses a transparent pipelined approach.  ...  We present RelationFactory, a highly effective open source relation extraction system based on shallow modeling techniques.  ...  Conclusion This paper illustrates RelationFactory, a modular open source knowledge-base population system.  ... 
doi:10.3115/v1/e14-2023 dblp:conf/eacl/RothBCGK14 fatcat:afdt4buj7nasrlbn4vw5af7pje

Підвищення ефективності обробки потокового відео за допомогою використання безсерверних технологій

I. Ахаладзе, O. Лісовиченко
2021 Adaptivni Sistemi Avtomatičnogo Upravlinnâ  
The proposed server-free architecture solves the identified shortcomings, as well as has a positive effect on the modularity of the system, the possibility of functional expansion of the system, and is  ...  that can be used by the client system Solving the tasks Implementation of the task of video analytics using statically allocated resources (servers) and classical analysis algorithms also involves maintenance  ... 
doi:10.20535/1560-8956.39.2021.247393 fatcat:xlqa3fys2badda5t25hlghiyty

Continual Learning via Local Module Composition [article]

Oleksiy Ostapenko, Pau Rodriguez, Massimo Caccia, Laurent Charlin
2021 arXiv   pre-print
Modularity is a compelling solution to continual learning (CL), the problem of modeling sequences of related tasks.  ...  task sequences into a third modular network without any fine-tuning.  ...  Modular learning aims at balancing transfer and forgetting by learning a set of specialized modules that can be recomposed to solve (new) tasks while only updating a subset of relevant modules or adding  ... 
arXiv:2111.07736v1 fatcat:izfjdl4ojvftdgg5h3p5nqgtvy

A systematic approach for green design in modular product development

Teng-Ruey Chang, Chung-Shing Wang, Chung-Chuan Wang
2013 The International Journal of Advanced Manufacturing Technology  
Furthermore, using the result of GQFD, we proposed the analysis of DSM to find the result of coupled tasks.  ...  In this research, an electronic translator was used as a case study for the integration of green design with modularity.  ...  However, the components are not arranged in modular groups initially, but with the help of DSM with green consideration, we can solve this problem.  ... 
doi:10.1007/s00170-013-4865-5 fatcat:zh5hbhebevggzhcpl2tcdhuweu

Design and construction of the Cadet-M unmanned marine platform using alternative energy

Mikhail Kadyrov, Pavel Greshnikov, Semyon Maltsev, Alexey Maistro, Alexander Pereverzev, Kirill Kiselev, Andrey Durnev, Egor Starobinskii, Pavel Buldakov, N. Vatin, P. Zunino, E. Vdovin
2019 E3S Web of Conferences  
Environmental monitoring has become an urgent task in recent years in connection with the deterioration of the environmental situation caused by industrialization [1].  ...  The problem of the need to use human resources is solved by applying an autonomous vessel control system.  ...  The software was developed using a modular architecture approach in order to provide flexibility and ease of expansion of functionality.  ... 
doi:10.1051/e3sconf/201914002011 fatcat:nrfrbqd5erfali4uuxaeuvlu5a

Structuring Work Distribution for Global Product Development Organizations

Anshuman Tripathy, Steven D. Eppinger
2013 Production and operations management  
preventing the identification of modular tasks.  ...  to qualitative suggestions such as offshoring of modular tasks.  ...  Brown and Eisenhardt (1995) state that PD comprises a set of disciplined problem solving tasks.  ... 
doi:10.1111/poms.12045 fatcat:ejgtgiqwcza67p5ygtqtgulxma

A review of modularization techniques in artificial neural networks

Mohammed Amer, Tomás Maul
2019 Artificial Intelligence Review  
Modular neural networks (MNNs) are neural networks that embody the concepts and principles of modularity. MNNs adopt a large number of different techniques for achieving modularization.  ...  As learning problems grow in scale and complexity, and expand into multi-disciplinary territory, a more modular approach for scaling ANNs will be needed.  ...  Integrating different modules to solve the task at hand is further investigated in subsection 3.4.  ... 
doi:10.1007/s10462-019-09706-7 fatcat:g4xp6dktvncu5dao53dcvoexoa
« Previous Showing results 1 — 15 out of 28,160 results