The megalithic site of Gunung Padang in the highlands of western Java was constructed some 2,000 years ago over the course of several generations. Similar stone monuments are found across the ...

Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources. Vivek Yadav, an engineering manager from ...

Abstract: Geometric algorithms rely on predicates, among them, the 2D and 3D orientation and incircle tests are important ones. Shewchuk's adaptive floating-point predicate is a well-known C ...

The AWS SDK for Java enables Java developers to easily work with Amazon Web Services and build scalable solutions with Amazon S3, Amazon DynamoDB, Amazon Glacier, and more. See the AWS SDK for Java ...

Abstract: We introduce a unifying framework for proving that predicate P is hard-core for a one-way function f, and apply it to a broad family of functions and predicates, reproving old results in an ...

This repository contains code for the paper "Fine-Grained Predicates Learning for Scene Graph Generation (CVPR 2022)". This code is based on Scene-Graph-Benchmark.pytorch. News: An extented verison of ...

Predicate pushdown is a widely adopted query optimization. Existing systems and prior work mostly use pattern-matching rules to decide when a predicate can be pushed through certain operators like ...

We are concerned with the problem of statically certifying (verifying) whether the client of a software component conforms to the component’s constraints for correct usage. We show how conformance ...