Results 241 to 250 of about 410,375 (269)
Some of the next articles are maybe not open access.
Computational Complexity and Efficient Computation
2001This chapter gives a brief introduction into complexity theory and defines the terms used in later chapters. Most theorems are provided without proofs (they can e.g. be found in [83]).
openaire +1 more source
Efficiently Computing Alignments
2018Conformance checking is considered to be anything where observed behaviour needs to be related to already modelled behaviour. Fundamental to conformance checking are alignments which provide a precise relation between a sequence of activities observed in an event log and a execution sequence of a model.
openaire +2 more sources
Study and Discussion on Computational Efficiency of Ice–Structure Interaction by Peridynamic
Journal of Marine Science and Engineering, 2023Longbin Tao, Shuai Sun
exaly
Space-Efficient Computation by Interaction
2006We introduce a typed functional programming language for logarithmic space. Its type system is an annotated subsystem of Hofmann’s polytime LFPL. To guide the design of the programming language and to enable the proof of logspace-soundness, we introduce a realisability model over a variant of the Geometry of Interaction. This realisability model, which
openaire +1 more source
Quantitative Assessment of Computational Efficiency of Numerical Models for Surface Flow Simulation
Journal of Hydroinformatics, 2023Jiang Chunbo
exaly
Enhancement of Computational Efficiency for Weighted Total Least Squares
Journal of Surveying Engineering, - ASCE, 2021Jianmin Wang
exaly
Performance and Computational Complexity Assessment of High-Efficiency Video Encoders
IEEE Transactions on Circuits and Systems for Video Technology, 2012Pedro Assuncao +2 more
exaly