HEIF is a visual media container format standardized by the Moving Picture Experts Group (MPEG) for storage and sharing of images and image sequences. It is based on the well-known ISO Base Media File ...

An enumerated type specifies a set of related constants as its values. Examples include the days in a week, the standard north/south/east/west compass directions, a currency’s coin denominations, and ...

Abstract: Grid square statistics enable us to both protect privacy and analyze socioeconomic activities and compress an amount of data comparing original point data. We can compare and merge different ...

Abstract: Linking the components in a formal specification to those in the corresponding program is a prerequisite for formal specification-based program fault detection. Existing traceability link ...

A Java tool used to transform CityGML v2.0 to CityGML v3.0 files. This project is still in early development and subject to change. (However, it is already usable/useful and many datasets from ...

When you look at a function program’s source code, how do you know what it means—that is, what object or process is this function representing? Is the meaning found in the return values of the ...

You guys remember pogs right? Even if you weren’t a kid or teen in the 90s, you probably accidentally stepped on them while trying to climb into bed or had your kids beg you for another Jurassic Park ...

Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources. Dany Lepage discusses the architectural ...