Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Common Logic

Known as: Conceptual Graph Interchange Format, CLIF, Common Logic Interchange Format 
Common Logic (CL) is a framework for a family of logic languages, based on first-order logic, intended to facilitate the exchange and transmission of… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
The tracking of vehicles in wide area motion imagery (WAMI) can be a challenge due to the full and partial occlusions that can… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2014
2014
Unmanned Aerial Vehicles (UAVs) equipped with video cameras are a flexible support to ensure civil and military safety and… Expand
  • figure 1.1
  • figure 1.2
  • figure 2.1
  • table 2.1
  • table 2.2
2012
2012
This paper presents improved architectures for a fused floating-point add-subtract unit. The fused floating-point add-subtract… Expand
  • figure 1
  • figure 2
  • figure 5
  • table I
  • figure 6
Highly Cited
2012
Highly Cited
2012
Vehicle tracking using airborne wide-area motion imagery (WAMI) for monitoring urban environments is very challenging for current… Expand
  • figure 2
  • figure 3
  • figure 5
  • figure 4
  • figure 6
2012
2012
Image registration in wide area motion imagery (WAMI) is a critical problem that is required for target tracking, image fusion… Expand
Highly Cited
2011
Highly Cited
2011
Visual tracking in wide area motion imagery (WAMI) is an important problem in security related tasks. The extremely low frame… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Highly Cited
2010
Highly Cited
2010
In this paper, we tackle the problem of object detection and tracking in a new and challenging domain of wide area surveillance… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2006
Highly Cited
2006
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the… Expand
  • figure 1
  • table 2
  • table 3
2002
2002
This article explores how race is understood within an explicitly class‐based movement, the Knights of Labor. The movement… Expand
Highly Cited
2002
Highly Cited
2002
This article shows how CGLF, CGIF, KIF, Formalized-English and Frame-CG can be used in a panorama of knowledge representation… Expand