Results 21 to 30 of about 16,212,430 (313)
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software [PDF]
, 2013 Many Control Systems are indeed Software Based Control Systems, i.e. control systems whose controller consists of control software running on a microcontroller device.
A. Bemporad +18 more
core +2 more sources
Two-View Matching with View Synthesis Revisited [PDF]
, 2013 Wide-baseline matching focussing on problems with extreme viewpoint change is considered. We introduce the use of view synthesis with affine-covariant detectors to solve such problems and show that matching with the Hessian-Affine or MSER detectors ...
Matas, Jiri +2 more
core +1 more source
Q-learning for robust satisfaction of signal temporal logic specifications [PDF]
, 2016 This paper addresses the problem of learning optimal policies for satisfying signal temporal logic (STL) specifications by agents with unknown stochastic dynamics.
Aksaray, Derya +4 more
core +2 more sources
Induction in component-based software synthesis
Lietuvos Matematikos Rinkinys, 2023 The automatic programming and automatic software synthesis systems are relevant software engineering research objects. This article presents the prospects of induction as a component-based software synthesis method.
Vaidas Giedrimas
doaj +3 more sources
Restoration of Poissonian Images Using Alternating Direction Optimization [PDF]
, 2010 Much research has been devoted to the problem of restoring Poissonian images, namely for medical and astronomical applications. However, the restoration of these images using state-of-the-art regularizers (such as those based on multiscale ...
Bioucas-Dias, José M. +1 more
core +1 more source
Jurnal Pendidikan Sains, 2015 Representasi Synthesis Problems melalui Aktivitas Inquiry-Link Maps untuk Menganalisis Perubahan Konseptual Termodinamika Abstract: The objective of this study is to analyze students’s conceptual change after learning activity by inquiry-link maps model.
Anis Fahrurotul Futihat
doaj +1 more source
Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis [PDF]
, 2017 Temporal logic based synthesis approaches are often used to find trajectories that are correct-by-construction for tasks in systems with complex behavior. Some examples of such tasks include synchronization for multi-agent hybrid systems, reactive motion
Dathathri, Sumanth, Murray, Richard M.
core +2 more sources
Sequential and simultaneous synthesis problem solving: A comparison of students’ gaze transitions
Physical Review Physics Education Research, 2021 This study examines students’ visual behaviors when they tackle two types of synthesis problems, sequential and simultaneous problems. Sequential synthesis tasks can be solved by applying pertinent concepts consecutively, whereas simultaneous synthesis ...
Bashirah Ibrahim, Lin Ding
doaj +1 more source
Transition removal for compositional supervisor synthesis [PDF]
, 2012 This paper investigates under which conditions transitions can be removed from an automaton while preserving important synthesis properties. The work is part of a framework for compositional synthesis of least restrictive controllable and nonblocking ...
Fabian, Martin +2 more
core +2 more sources
Bottlenecks in Solving Synthesis Problems
, 2015 Synthesis problems, which are problems requiring the application of multiple concepts such as energy conservation and kinematics, are common in physics curricula, and improving students’ skills in solving such problems is typically a key instructional ...
Daniel R. White +3 more
semanticscholar +1 more source