sign in · help · news · about ·

BibSonomy :: author :: Levitt ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(265)

<< < 1 | 2 | 3 > >>

The Economics of Scan Design.
Marc E. Levitt, and Jacob A. Abraham ITC, page 869-874. IEEE Computer Society, (1989)
to dblp by dblp on Feb 8, 2012, 12:00 AM
URL | BibTeX
Formal Verification of the UltraSPARCTM Family of Processors via ATPG Methods.
Marc E. Levitt ITC, page 849-856. IEEE Computer Society, (1996)
to dblp by dblp on Feb 8, 2012, 12:00 AM
URL | BibTeX
Testability, Debuggability, and Manufacturability Features of the UltraSPARCTM-I Microprocessor.
Marc E. Levitt, Srinivas Nori, Sridhar Narayanan, G. P. Grewal, Lynn Youngs, Anjali Jones, Greg Billus, and Siva Paramanandam ITC, page 157-166. IEEE Computer Society, (1995)
to dblp by dblp on Feb 8, 2012, 12:00 AM
URL | BibTeX
A Decision Procedure for an Extensional Theory of Arrays.
Aaron Stump, Clark W. Barrett, David L. Dill, and Jeremy R. Levitt LICS, page 29-37. IEEE Computer Society, (2001)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Knowledge-based planning systems: An engineering perspective.
Raymond E. Levitt Expert Planning Systems, page 181-185. AAAI, (1990)
to dblp by dblp on Jan 5, 2012, 12:00 AM
URL | BibTeX
A constraint-based approach to construction planning of multi-storey buildings.
Nabil A. Kartam, and Raymond E. Levitt Expert Planning Systems, page 245-250. AAAI, (1990)
to dblp by dblp on Jan 5, 2012, 12:00 AM
URL | BibTeX
Detecting and Defending against Web-Server Fingerprinting.
Dustin Lee, Jeff Rowe, Calvin Ko, and Karl N. Levitt ACSAC, page 321-330. IEEE Computer Society, (2002)
to dblp by dblp on Jan 5, 2012, 12:00 AM
URL | BibTeX
Intrusion Detection: Current Capabilities and Future Directions.
Karl N. Levitt ACSAC, page 365-367. IEEE Computer Society, (2002)
to dblp by dblp on Jan 5, 2012, 12:00 AM
URL | BibTeX
Automated Analysis for Digital Forensic Science: Semantic Integrity Checking.
Tye Stallard, and Karl N. Levitt ACSAC, page 160-167. IEEE Computer Society, (2003)
to dblp by dblp on Jan 5, 2012, 12:00 AM
URL | BibTeX
Qualitative Landmark-based Path Planning and Following.
Tod S. Levitt, Daryl T. Lawton, David M. Chelberg, and Philip C. Nelson AAAI, page 689-694. Morgan Kaufmann, (1987)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Domain Independent Object Description and Decomposition.
Tod S. Levitt AAAI, page 207-211. AAAI Press, (1984)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Analysis of an Algorithm for Distributed Recognition and Accountability.
Calvin Ko, Deborah A. Frincke, Terrance Goan, Todd L. Heberlein, Karl N. Levitt, Biswanath Mukherjee, and Christopher Wee ACM Conference on Computer and Communications Security, page 154-164. ACM, (1993)
to dblp by dblp and 1 other user on Dec 23, 2011, 12:00 AM
URL | BibTeX
The USC CARE Corpus: Child-Psychologist Interactions of Children with Autism Spectrum Disorders.
Matthew Black, Daniel Bone, Marian E. Williams, Phillip Gorrindo, Pat Levitt, and Shrikanth S. Narayanan INTERSPEECH, page 1497-1500. ISCA, (2011)
to dblp by dblp on Dec 21, 2011, 12:00 AM
URL | BibTeX
A Formal-Specification Based Approach for Protecting the Domain Name System.
Steven Cheung, and Karl N. Levitt DSN, page 641-651. IEEE Computer Society, (2000)
to dblp by dblp on Dec 20, 2011, 12:00 AM
URL | BibTeX
The Design and Implementation of an Intrusion Tolerant System.
James C. Reynolds, James E. Just, Ed Lawson, Larry A. Clough, Ryan Maglich, and Karl N. Levitt DSN, page 285-292. IEEE Computer Society, (2002)
to dblp by dblp and 1 other user on Dec 20, 2011, 12:00 AM
URL | BibTeX
Incremental Dynamic Construction of Layered Polytree Networks.
Keung-Chi Ng, and Tod S. Levitt UAI, page 440-446. Morgan Kaufmann, (1994)
to dblp by dblp on Dec 16, 2011, 12:00 AM
URL | BibTeX
Model-Based Probabilistic Situation Inference in Hierarchical Hypothesis Spaces.
Tod S. Levitt UAI, page 347-356. Elsevier, (1985)
to dblp by dblp on Dec 15, 2011, 12:00 AM
URL | BibTeX
Bayesian Inference in Model-Based Machine Vision.
Thomas O. Binford, Tod S. Levitt, and Wallace B. Mann UAI, page 73-96. Elsevier, (1987)
to dblp by dblp on Dec 15, 2011, 12:00 AM
URL | BibTeX
Learning Bayesian Networks from Incomplete Data with Stochastic Search Algorithms.
James W. Myers, Kathryn B. Laskey, and Tod S. Levitt UAI, page 476-485. Morgan Kaufmann, (1999)
to dblp by dblp on Dec 15, 2011, 12:00 AM
URL | BibTeX
Utility-based control for computer vision.
Tod S. Levitt, Thomas O. Binford, and Gil J. Ettinger UAI, page 407-422. North-Holland, (1988)
to dblp by dblp on Dec 15, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100