the Guaranteed Delivery (GD) advertising is a crucial component of the online advertising industry, and the allocation of inventory in GD advertising is an important procedure that influences directly the ability of t...
详细信息
ISBN:
(纸本)9798400704901
the Guaranteed Delivery (GD) advertising is a crucial component of the online advertising industry, and the allocation of inventory in GD advertising is an important procedure that influences directly the ability of the publisher to fulfill the requirements and increase its revenues. Nowadays, as the requirements of advertisers become more and more diverse and fine-grained, the focus ratio requirement, which states that the portion of allocated impressions of a designated contract on focus media among all possible media should be greater than another contract, often appears in business scenarios. However, taking these requirements into account brings hardness for the GD advertising inventory allocation as the focus ratio requirements involve non-convex multilinear constraints. Existing methods which rely on the convex properties are not suitable for processing this problem, while mathematical programming or constraint-based heuristic solvers are unable to produce high-quality solutions within the time limit. therefore, we propose a local search framework to address this challenge. It incorporates four new operators designed for handling multilinear constraints and a two-mode algorithmic architecture. Experimental results demonstrate that our algorithm is able to compute high-quality allocations with better business metrics compared to the state-of-the-art mathematical programming or constraint based heuristic solvers. Moreover, our algorithm is able to handle the general multilinear constraints and we hope it could be used to solve other problems in GD advertising with similar requirements.
Analyzing heap dumps containing complex dynamic data structures is essential when debugging modern software systems. However, existing tools for visualizing memory graphs can neither deal with corrupt structures such ...
详细信息
ISBN:
(纸本)9781450392983
Analyzing heap dumps containing complex dynamic data structures is essential when debugging modern software systems. However, existing tools for visualizing memory graphs can neither deal with corrupt structures such as binary trees exhibiting cycles, nor do they offer adequate abstractions when being confronted with large heaps. this paper presents MGE (Memory Graph Explorer), a memory analyzer and visualizer that combines a novel memory graph abstraction with an interactive visualization. MGE borrows ideas from separation logic and shape analysis to reveal relationships between memory nodes, name recognized structures such as doubly-linked lists and binary trees, and summarize complex structures. this summarization works for corrupt data structures, too, and is particularly powerful for large, nested structures due to its support for interactive (un)folding. MGE's utility for aiding program comprehension is illustrated by real-world and textbook examples and contrasted with existing debuggers.
Using robotic systems in laboratory settings increases the quality and reproducibility of laboratory experiments. One challenge laboratory personal faces is the need of programming knowledge to set up the robotic syst...
详细信息
ISBN:
(纸本)9798400714092
Using robotic systems in laboratory settings increases the quality and reproducibility of laboratory experiments. One challenge laboratory personal faces is the need of programming knowledge to set up the robotic system. To address this problem, in this work we propose a no-code methodology for robotic programming in laboratory tasks. the methodology takes as an input instructions in natural language and generates machine readable models of execution steps. the final result is a model with a probabilistic structure that allows connecting sensor observations to the model's states, thus providing a mechanism for robotic action execution and state estimation. the proposed methodology has the potential to increase the applicability of robotic systems and thus to improve the quality and reproducibility of laboratory experiments.
We introduce the first Romanian animacy classifier, specifically a type-based binary classifier of Romanian nouns into the classes human/non-human, using pre-trained word embeddings and animacy information derived fro...
详细信息
Large language models (LLMs) have achieved significant performance in various natural language reasoning tasks. However, they still struggle with performing first-order logic reasoning over formal logical theories exp...
详细信息
Metric first-order temporal logic (MFOTL) is an expressive formalism for specifying temporal and data-dependent constraints on streams of time stamped, data-carrying events. It serves as the specification language of ...
详细信息
ISBN:
(纸本)9783031572456;9783031572463
Metric first-order temporal logic (MFOTL) is an expressive formalism for specifying temporal and data-dependent constraints on streams of time stamped, data-carrying events. It serves as the specification language of several runtime monitors. these monitors input an MFOTL formula and an event stream prefix and output satisfying assignments to the formula's free variables. For complex formulas, it may be unclear why a certain assignment is output. We propose an approach that accompanies assignments with detailed explanations, in the form of proof trees. We develop a new monitor that outputs such explanations. Our tool incorporates a formally verified checker that certifies the explanations and a visualization that allows users to interactively explore and understand the outputs.
Math Word Problem (MWP) is a crucial NLP task aimed at providing solutions for given mathematical descriptions. A notable sub-category of MWP is the Linear programming Word Problem (LPWP), which holds significant rele...
详细信息
Static program analysis development is a non-trivial and time-consuming task. We present a framework through which developers can define static program analyses in natural language. We show the application of this fra...
详细信息
ISBN:
(纸本)9781665452786
Static program analysis development is a non-trivial and time-consuming task. We present a framework through which developers can define static program analyses in natural language. We show the application of this framework to identify cryptography misuses in Java programs, and we discuss how it facilitates static program analysis development for developers.
Each custom ASIC / SoC products is different and has specific requirements for the selected clock generation solution. Depending on the application, necessary decision must be made regarding different trade-off presen...
详细信息
ISBN:
(纸本)9788363578244
Each custom ASIC / SoC products is different and has specific requirements for the selected clock generation solution. Depending on the application, necessary decision must be made regarding different trade-off present in the integrated circuit design. this paper summarizes the key aspects of proper selection of the digital clocking solution to achieve the desired performance. Key performance indicators - including the most common: jitter, power, area - and methods to balance them are discussed.
Visual programming tools have recently been introduced to enable Deep Learning (DL) development without the need for expertise in traditional programming languages and frameworks. However, these tools often exhibit li...
详细信息
暂无评论