3,135 articles
Casanovo
Casanovo is an open-source deep learning model that performs de novo peptide sequencing, using a transformer neural network to translate tandem mass spectrometry spectra directly into amino acid sequences.
CASC (theorem proving)
CASC, the CADE ATP System Competition, is the annual competition for fully automatic automated theorem proving systems, held each year since 1996 alongside the CADE or IJCAR conference.
Cascading (software)
Cascading is an open source Java library and API providing an abstraction layer for MapReduce, letting developers build data processing applications that run on Hadoop clusters.
Case citation
A case citation (also called a style of cause) is a standardized reference identifying where a court decision is published, which court issued it, and when.
Case-based reasoning
Case-based reasoning (CBR) is an artificial intelligence method that solves new problems by retrieving and adapting similar stored past cases, used in diagnosis and design.
Cat swarm optimization
Cat swarm optimization (CSO) is a swarm intelligence metaheuristic that mimics cat behavior to optimize continuous functions, proposed in 2006 and splitting its population into seeking and tracing modes.
CatBoost
CatBoost, short for Categorical Boosting, is an open-source gradient-boosted decision tree library released in 2017 that processes categorical features natively using ordered target statistics, avoiding one-hot encoding.
Causal Bayesian network
A causal Bayesian network is a graphical model pairing a probability distribution with a directed acyclic graph whose arcs state direct causal relationships, used to predict interventions.
Causal consistency
Causal consistency is a consistency model for replicated distributed systems, formally defined by Ahamad, Neiger, Burns, Kohli, and Hutto in 1995, in which causally related operations appear in the same order on all replicas.
Causal forest
A causal forest is a machine learning method using ensembles of decision trees to estimate how treatment effects vary across individuals, introduced by Stefan Wager and Susan Athey in 2017.
Causal forests
A causal forest is a nonparametric machine learning method, introduced by Stefan Wager and Susan Athey in 2015, that estimates how treatment effects vary across individuals or subgroups.
Causal representation learning
Causal representation learning (CRL) is a machine learning approach that recovers high-level causal variables and their causal graph from low-level observations, enabling causal reasoning from interventional data.
Causal structure learning
Causal structure learning is a machine learning method that infers a causal graph, typically a directed acyclic graph, among variables from observational or interventional data.
CelebA
CelebA (Large-scale CelebFaces Attributes Dataset) is a face dataset of 202,599 celebrity images, each labeled with 40 attributes, created by the Chinese University of Hong Kong in 2015.
CelerData
CelerData, founded in 2022 by James Li and Andy Ye in Menlo Park, commercialized the open-source StarRocks MPP analytical database via CelerData Enterprise and CelerData Cloud, then rebranded as PhoenixAI in May 2026.
Cell decomposition (motion planning)
Cell decomposition is a motion planning method that partitions a robot's free configuration space into cells, builds an adjacency graph, and searches it for a collision-free path.
Cellular neural network
The cellular neural network, also called a Cellular Nonlinear Network, is an array of analog cells introduced by Chua and Yang in 1988 for real-time image processing.
CenterNet
CenterNet is an anchor-free object detection method published in 2019, best known from the paper Objects as Points, which models each object as a single point.
Centrality
Centrality, also called node centrality, is a family of measures in network analysis that assign each node in a graph a number reflecting its importance or influence.
Centre for the Study of Existential Risk
The Centre for the Study of Existential Risk (CSER) is a University of Cambridge research center studying risks that could cause human extinction or civilizational collapse.
Cepstrum
The cepstrum is a signal-processing representation, the inverse Fourier transform of the log of a Fourier transform, introduced by Bogert, Healy, and Tukey in 1963 for echo detection.
Certified Data Management Professional
Certified Data Management Professional (CDMP), DAMA International's flagship certification based on the DMBOK. Three levels (Associate, Practitioner, Master), open-book 100-question exams, USD$300 each, three-year validity with annual renewal.
Chamfer distance
The Chamfer distance is a fast dissimilarity measure between two point sets, based on nearest-neighbor distances, introduced for image matching in 1977 and used as a training loss for 3D point cloud reconstruction.
Chance-constrained optimization
Chance-constrained optimization is an approach to decision making under uncertainty in which a constraint on random data must hold with at least a specified probability, first formulated by Charnes, Cooper, and Symonds in 1958.
Change data capture
Change data capture (CDC), also called log-based or query-based change capture, is a data integration technique that captures insert, update, and delete events from databases, usually by reading transaction logs (MySQL binlog, PostgreSQL WAL, SQL Server log), and streams them to Kafka, warehouses, and other consumers.
Change detection (remote sensing)
Change detection in remote sensing compares satellite or aerial images of the same area taken on different dates to identify and map changes in land cover or land use.
Chartjunk
Chartjunk is the decorative or redundant visual material in a chart that carries no data, coined by Edward Tufte in his 1983 book The Visual Display of Quantitative Information.
ChArUco board
A ChArUco board, its name contracted from checkerboard and ArUco, is a calibration target combining checkerboard corner precision with ArUco markers, distributed with OpenCV and widely used in robotics, augmented reality, and photogrammetry.
Chatbot
A chatbot is a software system that converses with people in natural language through text, spanning scripted programs to LLM assistants like ChatGPT and Google Gemini.
ChatGPT in education
ChatGPT in education covers the adoption and controversies of OpenAI's ChatGPT in K-12 schools and universities since its launch in November 2022, including widespread student use and unreliable AI detectors.