Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,258,701 papers from all fields of science
Search
Sign In
Create Free Account
Common Logic
Known as:
Conceptual Graph Interchange Format
, CLIF
, Common Logic Interchange Format
Expand
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Computer
Conceptual graph
First-order logic
Formal language
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Vehicle tracking under occlusion conditions using directional ringlet intensity feature transform
Evan Krieger
,
P. Sidike
,
Theus H. Aspiras
,
V. Asari
National Aerospace and Electronics Conference
2015
Corpus ID: 21773321
The tracking of vehicles in wide area motion imagery (WAMI) can be a challenge due to the full and partial occlusions that can…
Expand
2014
2014
Predictors of early sexual debut among adolescents in North Norway
Jennifer Ahimbisibwe
2014
Corpus ID: 59020669
Review
2014
Review
2014
Acute-on-chronic liver failure : an update
S. Marciano
,
EM Mauro
,
A. Gadano
2014
Corpus ID: 14739610
Abstract Introduction Acute-on-chronic liver failure occurs in patients with cirrhosis, either spontaneously or after a…
Expand
Highly Cited
2013
Highly Cited
2013
A model-driven ontology approach for manufacturing system interoperability and knowledge sharing
N. Chungoora
,
R. Young
,
+6 authors
K. Case
Computers in industry (Print)
2013
Corpus ID: 206940233
Highly Cited
2012
Highly Cited
2012
Improved Architectures for a Fused Floating-Point Add-Subtract Unit
Jongwook Sohn
,
E. Swartzlander
IEEE Transactions on Circuits and Systems Part 1…
2012
Corpus ID: 18448756
This paper presents improved architectures for a fused floating-point add-subtract unit. The fused floating-point add-subtract…
Expand
Highly Cited
2012
Highly Cited
2012
Multiple Kernel Learning for vehicle detection in wide area motion imagery
Pengpeng Liang
,
Gregory Teodoro
,
Haibin Ling
,
Erik Blasch
,
Genshe Chen
,
Li Bai
Fusion
2012
Corpus ID: 10310799
Vehicle detection in wide area motion imagery (WAMI) is an important problem in computer science, which if solved, supports urban…
Expand
Highly Cited
2012
Highly Cited
2012
Persistent target tracking using likelihood fusion in wide-area and full motion video sequences
R. Pelapur
,
S. Candemir
,
F. Bunyak
,
Mahdieh Poostchi
,
G. Seetharaman
,
K. Palaniappan
Fusion
2012
Corpus ID: 15964937
Vehicle tracking using airborne wide-area motion imagery (WAMI) for monitoring urban environments is very challenging for current…
Expand
Highly Cited
2010
Highly Cited
2010
Detection and Tracking of Large Number of Targets in Wide Area Surveillance
Vladimir Reilly
,
Haroon Idrees
,
M. Shah
European Conference on Computer Vision
2010
Corpus ID: 6552137
In this paper, we tackle the problem of object detection and tracking in a new and challenging domain of wide area surveillance…
Expand
Highly Cited
2010
Highly Cited
2010
Discrete and Continuous, Probabilistic Anticipation for Autonomous Robots in Urban Environments
Frank Havlak
,
M. Campbell
IEEE Transactions on robotics
2010
Corpus ID: 7176604
This paper develops a probabilistic anticipation algorithm for dynamic objects observed by an autonomous robot in an urban…
Expand
Highly Cited
2002
Highly Cited
2002
Knowledge Representation in CGLF, CGIF, KIF, Frame-CG and Formalized-English
Philippe A. Martin
International Conference on Conceptual Structures
2002
Corpus ID: 15595733
This article shows how CGLF, CGIF, KIF, Formalized-English and Frame-CG can be used in a panorama of knowledge representation…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE