Search Results - "ACL (Computer program language)"

The ACL anthology network corpus.

Authors: Radev, Dragomir R. Muthukrishnan, Pradeep Qazvinian, Vahed et al.

Source: Language Resources & Evaluation. Dec2013, Vol. 47 Issue 4, p919-944. 26p.

Subjects: Corpora, ACL (Computer program language), Citation analysis, Bibliometrics, Scientometrics

Efficient execution in an automated reasoning environment.

Authors: DAVID A. GREVE MATT KAUFMANN PANAGIOTIS MANOLIOS et al.

Source: Journal of Functional Programming. Jan2008, Vol. 18 Issue 1, p15-46. 32p.

Semantic web technology for agent interoperability: a proposed infrastructure.

Authors: Pai, Fang-Ping Hsu, I-Ching Chung, Yeh-Ching

Source: Applied Intelligence. Jan2016, Vol. 44 Issue 1, p1-16. 16p.

Subjects: Semantic Web, ACL (Computer program language), Programming languages, Internetworking, Intelligent agents

Home Gateway Operating Model using Reference Monitor for Enhanced User Comfort and Privacy.

Authors: Eun-Ae Cho Chang-Joo Moon Doo-Kwon Baik

Source: IEEE Transactions on Consumer Electronics. May2008, Vol. 54 Issue 2, p494-500. 7p. 3 Black and White Photographs, 9 Diagrams, 2 Charts.

Subjects: Home computer networks, ACL (Computer program language), User interfaces, Human-computer interaction, Access control, Data security, Computer security, Security systems

Industrial hardware and software verification with ACL2.

Authors: Hunt Jr., Warren A. Kaufmann, Matt Moore, J. Strother et al.

Source: Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences. 10/13/2017, Vol. 375 Issue 2104, p1-20. 20p.

Neprestano revidiranje kot nadgradnja funkcionalnosti programa ACL.

Alternate Title: Continuous Auditing as Improvement of ACL Functionalities.

Authors: Karnet, Igor¹ ikarnet@email.si

Source: Organizacija. Jan/Feb2008, Vol. 41 Issue 1, pA68-A75. 8p. 2 Diagrams, 2 Graphs.

Comparison of the Rancimat and the ACL Instrument for Measuring the Oxidative Stability of Corn Oil.

Authors: Bell, Charlotte Käser, Fabian Martin, Elaine et al.

Source: Journal of the American Oil Chemists' Society (JAOCS); May2014, Vol. 91 Issue 5, p733-746, 14p

Time and defeasibility in FIPA ACL semantics

Authors: Boella, Guido Governatori, Guido Hulstijn, Joris et al.

Source: Journal of Applied Logic; Dec2011, Vol. 9 Issue 4, p274-288, 15p

Proof Pearl: a Formal Proof of Higman's Lemma in ACL2.

Authors: Martín-Mateos, Francisco Ruiz-Reina, José Alonso, José et al.

Source: Journal of Automated Reasoning; Oct2011, Vol. 47 Issue 3, p229-250, 22p

A verified Common Lisp implementation of Buchberger’s algorithm in ACL2

Authors: Medina-Bulo, Inmaculada Palomo-Lozano, Francisco Ruiz-Reina, José-Luis

Source: Journal of Symbolic Computation; Jan2010, Vol. 45 Issue 1, p96-123, 28p

How to Improve Database Security.

Authors: MULLINS, CRAIG S.¹

Source: Database Trends & Applications; Apr/May2016, Vol. 30 Issue 2, p34-34, 1p, 1 Color Photograph

Home Gateway Operating Model using Reference Monitor for Enhanced User Comfort and Privacy.

Authors: Cho, Eun-Ae Moon, Chang-Joo Baik, Doo-Kwon

Source: IEEE Transactions on Consumer Electronics; May 2008, Vol. 54 Issue 2, p494-500, 7p

AN AGENT-ORIENTED APPROACH FOR IMAGE CLASSIFICATION WITH ICA-COLOR SIFT.

Authors: KHAZAB, MOHAMMAD AI, DAN-NI TWEEDALE, JEFFREY et al.

Source: International Journal on Artificial Intelligence Tools; Apr2012, Vol. 21 Issue 2, p1240003-1-1240003-13, 1p, 2 Color Photographs, 2 Diagrams

Design and Implementation of Business Objects for Automated Business Negotiations.

Authors: Li, Haifei Huang, Chunbo Su, Stanley et al.

Source: Group Decision & Negotiation. Jan2002, Vol. 11 Issue 1, p23-44. 22p. 5 Diagrams, 2 Charts.

Using Computerized Audit Software to Learn Statistical Sampling: An Instructional Resource.

Authors: Richardson, Robert C. Louwers, Timothy J.

Source: Issues in Accounting Education. Aug2010, Vol. 25 Issue 3, p553-567. 15p. 6 Color Photographs, 2 Charts, 1 Graph.

Using New Technology for Remote Witnessing of Legal Documents in Victoria.

Authors: Darbyshire, Adam Darbyshire, Paul

Source: Journal of Business Systems, Governance & Ethics. 2010, Vol. 5 Issue 4, p26-33. 8p. 2 Diagrams, 1 Chart.