Results 21 to 30 of about 56,633 (135)
Subsystem identification of feedback and feedforward systems with time delay
Results in Control and Optimization, 2020 We present an algorithm for identifying discrete-time feedback-and-feedforward subsystems with time delay that are interconnected in closed loop with a known subsystem.
S. Alireza Seyyed Mousavi +3 more
doaj +1 more source
Counter Simulations via Higher Order Quantifier Elimination: a preliminary report [PDF]
, 2017 Quite often, verification tasks for distributed systems are accomplished via counter abstractions. Such abstractions can sometimes be justified via simulations and bisimulations.
Ghilardi, Silvio, Pagani, Elena
core +2 more sources
Transformasi Skema Basis Data Relasional Menjadi Model Data Berorientasi Dokumen pada MongoDB
IJCCS (Indonesian Journal of Computing and Cybernetics Systems), 2016 MongoDB is a database that uses document-oriented data storage models. In fact, to migrate from a relational database to NoSQL databases such as MongoDB is not an easy matter especially if the data are extremely complex.
I Gede Winaya, Ahmad Ashari
doaj +1 more source
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability [PDF]
, 2018 Embedded software is growing fast in size and complexity, leading to intimate mixture of complex architectures and complex control. Consequently, software specification requires modeling both structures and behaviour of systems.
Antkiewicz, Michal +5 more
core +2 more sources
Predicting rental listing popularity : 2 Sigma connect Renthop [PDF]
, 2017 Renting a perfect apartment can be a hassle. There are plenty of features people care about when it comes to finding the apartment, such as price, hardwood floor, dog park, laundry room, etc.
Cai, Shiyao
core +1 more source
Metamodeling in EIA/CDIF - Meta-Metamodel and Metamodels [PDF]
, 2002 This article introduces the EIA/CDIF set of standards for the modeling of information systems and its exchange among computer-aided software tools of different vendors.
Flatscher, Rony G.
core +1 more source
F-formation Detection: Individuating Free-standing Conversational Groups in Images [PDF]
, 2014 Detection of groups of interacting people is a very interesting and useful task in many modern technologies, with application fields spanning from video-surveillance to social robotics.
Chiara Bassetti +4 more
core +2 more sources
Analytics of Heterogeneous Breast Cancer Data Using Neuroevolution
IEEE Access, 2019 Breast cancer prognostic modeling is difficult since it is governed by many diverse factors. Given the low median survival and large scale breast cancer data, which comes from high throughput technology, the accurate and reliable prognosis of breast ...
Beibit Abdikenov +4 more
doaj +1 more source
Solving stable matching problems using answer set programming [PDF]
, 2015 Since the introduction of the stable marriage problem (SMP) by Gale and Shapley (1962), several variants and extensions have been investigated. While this variety is useful to widen the application potential, each variant requires a new algorithm for ...
De Clercq, Sofie +3 more
core +2 more sources
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2013 In this paper, we propose a method to estimate the probability distribution of the time interval which ellapses between the modifications of the cardinality in a random database query’s result set.
Velcescu Letitia
doaj +1 more source