Publications

Export 7151 results:
Author [ Title(Asc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
L
Roussopoulos N.  1982.  The Logical Access Path Schema of a Database. IEEE Transactions on Software Engineering. SE-8(6):563-573.
Anderson ML, Perlis D.  2005.  Logic, self-awareness and self-improvement: The metacognitive loop and the problem of brittleness. Journal of Logic and Computation. 15(1):21-21.
Yaman F, Nau DS, V.S. Subrahmanian.  2004.  A logic of motion. :85-94.
Ruiz C, Minker J.  1998.  Logic knowledge bases with two default rules. Annals of Mathematics and Artificial Intelligence. 22(3):333-361.
Refaey MA, Abd-Almageed W, Davis LS.  2008.  A Logic Framework for Sports Video Summarization Using Text-Based Semantic Annotation. Semantic Media Adaptation and Personalization, 2008. SMAP '08. Third International Workshop on. :69-75.
Spivey G, Bhattacharyya SS, Nakajima K.  2003.  Logic foundry: rapid prototyping for FPGA-based DSP systems. EURASIP J. Appl. Signal Process.. 2003:565-579.
Grant J, Kraus S, Perlis D.  2000.  A logic for characterizing multiple bounded agents. Autonomous Agents and Multi-Agent Systems. 3(4):351-387.
Minker J.  1997.  Logic and Databases Past, Present, and Future. AI Magazine. 18(3):21-21.
Minker J.  1999.  Logic and databases: a 20 year retrospective-updated in honor of Ray Reiter. Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter. :234-299.
Minker J.  1996.  Logic and databases: A 20 year retrospective. Logic in Databases. :1-57.
Perlis D.  1993.  Logic and Artificial Intelligence: A New Synthesis? ANNALES-SOCIETATIS MATHEMATICAE POLONAE SERIES 4. 18:297-297.
Pratikakis P, Foster JS, Hicks MW.  2011.  LOCKSMITH: Practical static race detection for C. ACM Trans. Program. Lang. Syst.. 33(1):3:1–3:55-3:1–3:55.
Pratikakis P, Foster JS, Hicks MW.  2006.  LOCKSMITH: context-sensitive correlation analysis for race detection. SIGPLAN Not.. 41(6):320-331.
Hicks MW, Foster JS, Pratikakis P.  2006.  Lock inference for atomic sections. Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing.
Feamster N, Dingledine R.  2004.  Location diversity in anonymity networks. Proceedings of the 2004 ACM workshop on Privacy in the electronic society. :66-76.
Mihaila GA, Raschid L, Tomasic A.  2002.  Locating and accessing data repositories with WebSemantics. The VLDB journal. 11(1):47-57.
Landau GM, Vishkin U, Nussinov R.  1988.  Locating alignments with k differences for nucleotide and amino acid sequences. Computer applications in the biosciences: CABIOS. 4(1):19-19.
Turaga P, Chellappa R.  2009.  Locally time-invariant models of human activities using trajectories on the grassmannian. Computer Vision and Pattern Recognition, 2009. CVPR 2009. IEEE Conference on. :2435-2441.
Sauvola JJ, Doermann D, Pietikaeinen M.  1997.  Locally adaptive document skew detection. Proceedings of SPIE. 3027(1):96-108.
Belhumeur PN, Jacobs DW, Kriegman DJ, Kumar N.  2011.  Localizing parts of faces using a consensus of exemplars. Computer Vision and Pattern Recognition (CVPR), 2011 IEEE Conference on. :545-552.
Guo M, Mount SM.  1995.  Localization of Sequences Required for Size-specific Splicing of a SmallDrosophilaIntronin Vitro. Journal of Molecular Biology. 253(3):426-437.
Weinberg A.  1988.  Locality principles in syntax and in parsing.
Bullock SS, O'Leary DP.  2009.  Locality bounds on hamiltonians for stabilizer codes. Quantum Info. Comput.. 9(5):487-499.
Bederson BB, Hollan JD, Druin A, Stewart J, Rogers D, Proft D.  1996.  Local tools: an alternative to tool palettes. Proceedings of the 9th annual ACM symposium on User interface software and technology. :169-170.
Bulka B, Gaston M, desJardins M.  2007.  Local strategy learning in networked multi-agent team formation. Autonomous Agents and Multi-Agent Systems. 15(1):29-45.

Pages