Vertex-partitioning into fixed additive induced-hereditary properties is NP-hard.
Vertical Decomposition of Arrangements of Hyperplanes in Four Dimensions.
Virtual enterprise risk management using artificial intelligence.
Virtual reality & logistics.
Visibility and Intersection Problems in Plane Geometry.
Visibility Graphs of Staircase Polygons and the Weak Bruhat Order, I: from Visibility Graphs to Maximal Chains.
Visione delle macchine: una sfida anche per i matematici
Visual anomaly detection via soft computing: a prototype application at NASA.
A visual system prototype that detects anomalies or defects in real time under normal lighting operating conditions was built for NASA at the Kennedy Space Center (KSC). The system prototype is basically a learning machine that integrates the three elements of soft computing, Fuzzy Logic (FL), Artificial Neural Network (ANN), and Genetic Algorithm (GA) schemes to process the image, run the learning process, and finally detect the anomalies or defects. The system acquires the image, performs segmentation...
Visual measurement of suture strain for robotic surgery.
Visual ranking of link structures.
Visual representation of formal software specification.
Visualization of rainfall data distribution using quintic triangular Bézier patches.
Visualization of simple algebro-geometric ideas
Visualization of the high level structure of the internet with Hermes.
Visualization of the Lobachevskian Plane
Visualizing interdomain routing with BGPlay.
Visualizing Ricci flow of manifolds of revolution.
Voroni Diagrams and Arrangements.
Výsledky diagnostické práce na samočinném počítači LGP 30