Series: Columbia University Computer Science Technical Reports | Search Results | Academic Commons

Start Over

You searched for: Series Columbia University Computer Science Technical Reports

« Previous | 401 - 500 of 1,221 | Next »

401. Distributed Search over the Hidden Web: Hierarchical Database Sampling and Selection

: Ipeirotis, Panagiotis G.; Gravano, Luis
: 2002
: Reports
: Computer science

402. Distributed Tool Services via the World Wide Web

: Dossick, Stephen E.; Kaiser, Gail E.; Yang, Jack Jingshuang
: 1996
: Reports
: Computer science

403. Diversity Maximization Under Matroid Constraints

: Abbassi, Zeinab; Mirrokni, Vahab S.; Thakur, Mayur
: 2013
: Reports
: Computer science

404. Does Increased Regularity Lower Complexity?

: Werschulz, Arthur G.
: 1982
: Reports
: Computer science

405. DOM-based Content Extraction of HTML Documents

: Gupta, Suhit; Neistadt, David; Kaiser, Gail E.; Grimm, Peter
: 2002
: Reports
: Computer science

406. Do Negative Results from Formal Systems Limit Scientific Knowledge?

: Traub, Joseph F.
: 1997
: Reports
: Computer science

407. DotSlash: A Scalable and Efficient Rescue System for Handling Web Hotspots

: Zhao, Weibin; Schulzrinne, Henning G.
: 2004
: Reports
: Computer science

408. DotSlash: Providing Dynamic Scalability to Web Applications with On-demand Distributed Query Result Caching

: Zhao, Weibin; Schulzrinne, Henning G.
: 2005
: Reports
: Computer science

409. Double-Edge-Triggered Flip-Flops

: Unger, Stephen H.
: 1981
: Reports
: Electronic circuit designPhysicsCircadian rhythms

410. Dynamic Adaptation of Rules for Temporal Event Correlation in Distributed Systems

: Griffith, Rean; Hellerstein, Joseph L.; Diao, Yixin; Kaiser, Gail E.
: 2005
: Reports
: Computer science

411. Dynamic Adaptation of Temporal Event Correlation Rules

: Griffith, Rean; Kaiser, Gail E.; Hellerstein, Joseph; Diao, Yixin
: 2005
: Reports
: Computer science

412. Dynamical Systems Trees

: Jebara, Tony; Howard, Andrew
: 2003
: Reports
: Computer science

413. Dynamic Data Structures for Series Parallel Digraphs

: Italiano, Giuseppe F.; Spaccamela, Alberto Marchetti; Nanni, Umberto
: 1989
: Reports
: Computer science

414. Dynamic Inference of Likely Metamorphic Properties to Support Differential Testing

: Su, Fang-Hsiang; Bell, Jonathan Schaffer; Murphy, Christian; Kaiser, Gail E.
: 2015
: Reports
: Computer programs--TestingDebugging in computer scienceComputer science

415. Dynamic Taint Tracking for Java with Phosphor (Demo)

: Bell, Jonathan Schaffer; Kaiser, Gail E.
: 2015
: Reports
: Computer scienceComputer software--TestingJava (Computer program language)

416. DYSWIS: Collaborative Network Fault Diagnosis - Of End-users, By End-users, For End-users

: Kim, Kyung Hwa; Singh, Vishal; Schulzrinne, Henning G.
: 2011
: Reports
: Computer science

417. Effecting Runtime Reconfiguration in Managed Execution Environments

: Griffith, Rean; Valetto, Giuseppe; Kaiser, Gail E.
: 2005
: Reports
: Computer science

418. Effective Dynamic Detection of Alias Analysis Errors

: Wu, Jingyue; Hu, Gang; Tang, Yang; Yang, Junfeng
: 2013
: Reports
: Computer science

419. Effectiveness of Teaching Metamorphic Testing

: Mishra, Kunal Swaroop; Kaiser, Gail E.
: 2012
: Reports
: Computer science

420. Effectiveness of Teaching Metamorphic Testing, Part II

: Mishra, Kunal S.; Kaiser, Gail E.; Sheth, Swapneel Kalpesh
: 2013
: Reports
: Computer science

421. Effects of power conservation, wireless coverage and cooperation on data dissemination among mobile devices

: Papadopouli, Maria; Schulzrinne, Henning G.
: 2001
: Reports
: Computer science

422. Efficient Algorithms for Finding Maximal Matching in Graphs

: Galil, Zvi
: 1983
: Reports
: Computer science

423. Efficient Algorithms for the Design of Asynchronous Control Circuits

: Theobald, Michael
: 2004
: Reports
: Computer science

424. Efficient, Deterministic and Deadlock-free Concurrency

: Vasudevan, Nalini
: 2011
: Reports
: Computer science

425. Efficient Shadows from Sampled Environment Maps

: Ben-Artzi, Aner; Agrawala, Maneesh; Ramamoorthi, Ravi
: 2004
: Reports
: Computer science

426. Elastic Block Ciphers

: Cook, Debra L.; Yung, Moti; Keromytis, Angelos D.
: 2004
: Reports
: Computer science

427. Elastic Block Ciphers: The Feistel Cipher Case

: Cook, Debra L.; Yung, Moti; Keromytis, Angelos D.
: 2004
: Reports
: Computer science

428. Embedded uClinux, the Altera DE2, and the SHIM Compiler

: Hsu, Wei-Chung; Edwards, Stephen A.; Lariviere, David
: 2006
: Reports
: Computer science

429. Empirical Evaluation of Approaches to Testing Applications without Test Oracles

: Murphy, Christian; Kaiser, Gail E.
: 2010
: Reports
: Computer science

430. Empirical Studies on the Disambiguation of Cue Phrases

: Hirschberg, Julia Bell; Litman, Diane
: 1991
: Reports
: Computer science

431. Empirical Study of Concurrency Mutation Operators for Java

: Wu, Leon Li; Kaiser, Gail E.
: 2010
: Reports
: Computer science

432. Enabling the Virtual Phones to remotely sense the Real Phones in real-time: A Sensor Emulation initiative for virtualized Android-x86

: Santhanam, Raghavan
: 2013
: Reports
: Computer science

433. Encapsulation, Reusability and Extensibility in Object-Oriented Programming Languages

: Micallef, Josephine
: 1987
: Reports
: Computer science

434. End System Service Examples

: Wu, Xiaotao; Schulzrinne, Henning G.
: 2004
: Reports
: Computer science

435. End-User Regression Testing for Privacy

: Sheth, Swapneel Kalpesh; Kaiser, Gail E.
: 2012
: Reports
: Computer science

436. Energy-Based Segmentation of Very Sparse Range Surfaces

: Boult, Terrance E.; Lerner, Mark D.
: 1989
: Reports
: Computer science

437. Energy Exchanges: Internal Power Oversight for Applications

: Kambadur, Melanie Rae; Kim, Martha Allen
: 2014
: Reports
: Computer science

438. Energy Secure Architecture: A Wish List

: Sethumadhavan, Simha
: 2013
: Reports
: Computer science

439. Enhancing Security by Diversifying Instruction Sets

: Kemerlis, Vasileios; Sinha, Kanad; Pappas, Vasileios; Sethumadhavan, Simha; Keromytis, Angelos D.
: 2014
: Reports
: Computer science

440. Entropy, Randomization, Derandomization, and Discrepancy

: Gnewuch, Michael
: 2011
: Reports
: Computer science

441. Enveloping Sophisticated Tools into Computer-Aided Software Engineering Environments

: Valetto, Giuseppe; Kaiser, Gail E.
: 1994
: Reports
: Computer science

442. Enveloping Sophisticated Tools into Process-Centered Environments

: Valetto, Giuseppe; Kaiser, Gail E.
: 1995
: Reports
: Computer science

443. Environmental Relations in Image Understanding: The Force of Gravity

: Kender, John R.
: 1983
: Reports
: Computer science

444. Equivalent Descriptions of Generalized Cylinders

: Roberts, Kenneth S.
: 1985
: Reports
: Computer science

445. Estimating a largest eigenvector by polynomial algorithms with a random start

: Leyk, Z.; Wozniakowski, Henryk
: 1996
: Reports
: Computer science

446. Estimating an Eigenvector by the Power Method with a Random Start

: Del Corso, Gianna M.
: 1995
: Reports
: Computer science

447. Estimating the Largest Eigenvalue by the Power and Lanczos Algorithms with a Random Start

: Kuczynski, Jacek; Wozniakowski, Henryk
: 1989
: Reports
: Computer science

448. Estimation of System Reliability Using a Semiparametric Model

: Wu, Leon Li; Teravainen, Timothy Kaleva; Kaiser, Gail E.; Anderson, Roger N.; Boulanger, Albert G.; Rudin, Cynthia
: 2011
: Reports
: Computer science

449. Evaluating an Evaluation Method: The Pyramid Method Applied to 2003 Document Understanding Conference (DUC) Data

: Passonneau, Rebecca
: 2006
: Reports
: Computer science

450. Evaluating Content Selection in Human- or Machine-Generated Summaries: The Pyramid Scoring Method

: Passonneau, Rebecca J.; Nenkova, Ani
: 2003
: Reports
: Computer science

451. Evaluating Machine Learning for Improving Power Grid Reliability

: Wu, Leon Li; Kaiser, Gail E.; Rudin, Cynthia; Waltz, David L.; Anderson, Roger N.; Boulanger, Albert G.; Salleb-Aouissi, Ansaf; Dutta, Haimonti; Pooleery, Manoj
: 2011
: Reports
: Computer science

452. Evaluating Top-k Queries over Web-Accessible Databases

: Gravano, Luis; Marian, Amelie; Bruno, Nicolas
: 2002
: Reports
: Computer science

453. Evolution of the NON-VON Supercomputer

: Shaw, David Elliot
: 1983
: Reports
: Computer science

454. Exact Essential-Hazard-Free State Minimization of Incompletely Specified Asynchronous Sequential Machines

: Cheng, Fu-Chiung; Plana, Luis A.
: 1994
: Reports
: Computer science

455. Example application under PRET environment: Programming a MultiMediaCard

: Dedhia, Devesh
: 2009
: Reports
: Computer science

456. Execution Autonomy in Distributed Transaction Processing

: Pu, Calton; Leff, Avraham
: 1991
: Reports
: Computer science

457. Execution or OPS5 Production Systems on a Massively Parallel Machine

: Hillyer, Bruce K.; Shaw, David Elliot
: 1984
: Reports
: Computer science

458. Exercising the NON-VON Primary Processing Subsystem

: Hillyer, Bruce K.; Shaw, David Elliot
: 1983
: Reports
: Computer science

459. Expanding the Repertoire of Process-based Tool Integration

: Valetto, Giuseppe
: 1994
: Reports
: Computer science

460. Expanding the Repertoire of Process-based Tool Integration

: Valetto, Giuseppe
: 1994
: Reports
: Computer science

461. Experiences in Teaching eXtreme Programming in a Distance Learning Program

: Murphy, Christian; Phung, Dan; Kaiser, Gail E.
: 2007
: Reports
: Computer science

462. Experience with a Production Compiler Automatically Generated from an Attribute Grammar

: Farrow, Rodney
: 1984
: Reports
: Computer science

463. Experience with Process Modeling in the Marvel Software Development Environment Kernel

: Kaiser, Gail E.
: 1989
: Reports
: Computer science

464. Experiments of Image Retrieval Using Weak Attributes

: Yu, Xinnan; Ji, Rongrong; Tsai, Ming-Hen; Ye, Guangnan; Chang, Shih-Fu
: 2012
: Reports
: Computer scienceInformation science

465. Explanation and Acquisition in Expert Systems Using Support Knowledge

: Pasik, Alexander J.; Christensen, Jens; Gordin, Douglas; Stancato, Agata; Stolfo, Salvatore
: 1985
: Reports
: Computer science

466. Explanation-Based Learning: A Survey of Programs and Perspectives

: Ellman, Thomas
: 1987
: Reports
: Computer science

467. Explanation-Based Methods for Simplifying Intractable Theories

: Ellman, Thomas
: 1987
: Reports
: Computer science

468. Explicit cost bounds of algorithms for multivariate tensor product problems

: Wasilkowski, Grzegorz W.; Wozniakowski, Henryk
: 1994
: Reports
: Computer science

469. Exploiting Local Logic Structures to Optimize Multi-Core SoC Floorplanning

: Li, Cheng-Hong; Sonalka, Sampada; Carloni, Luca
: 2009
: Reports
: Computer science

470. Exploiting Temporal Coherence for Pre-computation Based Rendering

: Overbeck, Ryan S.
: 2006
: Computer science

471. Exploiting the Structure in DHT Overlays for DoS Protection

: Stavrou, Angelos; Keromytis, Angelos D.; Rubenstein, Daniel Stuart
: 2004
: Reports
: Computer science

472. Exploring a Few Good Tuples From a Text Database

: Jain, Alpa; Srivastava, Divesh
: 2008
: Reports
: Computer science

473. Exploring Computation and Communication Trade-offs in the Design of Automatic Video Surveillance Networks

: Pinto, Alessandro; Carloni, Luca; Sangiovanni-Vincentelli, Alberto
: 2008
: Reports
: Computer science

474. Exploring "Multiple Worlds" in Parallel

: Smith, Jonathan M.; Maguire, Gerald Q.
: 1989
: Reports
: Computer science

475. Extended Functional Unification ProGrammars

: Elhadad, Michael
: 1989
: Reports
: Computer science

476. Extended Transaction Models for Software Development Environments

: Kaiser, Gail E.
: 1988
: Reports
: Computer science

477. Extending a Tool Integration Language

: Gisi, Mark A.; Kaiser, Gail E.
: 1991
: Reports
: Computer science

478. Extending Attribute Grammars to Support Programming-in-the-Large

: Micallef, Josephine; Kaiser, Gail E.
: 1993
: Reports
: Computer science

479. Extending SDARTS: Extracting Metadata from Web Databases and Interfacing with the Open Archives Initiative

: Ipeirotis, Panagiotis G.; Barry, Tom; Gravano, Luis
: 2002
: Reports
: Computer science

480. Extending the MERCURY System to Support Teams of Ada Programmers

: Micallef, Josephine; Kaiser, Gail E.
: 1989
: Reports
: Computer science

481. Extracting Context To Improve Accuracy For HTML Content Extraction

: Gupta, Suhit; Kaiser, Gail E.; Stolfo, Salvatore
: 2004
: Reports
: Computer science

482. Extracting Relations from Large Plain-Text Collections

: Agichtein, Eugene; Gravano, Luis
: 1999
: Reports
: Computer science

483. F3ildCrypt: End-to-End Protection of Sensitive Information in Web Services

: Burnside, Matthew Spindel; Keromytis, Angelos D.
: 2009
: Reports
: Computer science

484. Failover and Load Sharing in SIP Telephony

: Singh, Kundan; Schulzrinne, Henning G.
: 2004
: Reports
: Computer science

485. Failure Analysis of the New York City Power Grid

: Wu, Leon; Anderson, Roger N.; Boulanger, Albert G.; Rudin, Cynthia; Kaiser, Gail E.
: 2014
: Reports
: Smart power gridsComputer science

486. FairTorrent: Bringing Fairness to Peer-to-Peer Systems

: Sherman, Alex; Nieh, Jason; Stein, Clifford S.
: 2008
: Reports
: Computer science

487. FARE: A Framework for Benchmarking Reliability of Cyber-Physical Systems

: Wu, Leon; Kaiser, Gail E.
: 2013
: Reports
: Computer science

488. Faster valuation of financial derivatives

: Paskov, Spassimir; Traub, Joseph F.
: 1996
: Reports
: Computer scienceFinance

489. Fast Fourier Transforms: A Review

: Wolberg, George
: 1988
: Reports
: Computer science

490. Fast Heuristic and Exact Algorithms for Two-Level Hazard-Free Logic Minimization

: Theobald, Michael; Nowick, Steven M.
: 1998
: Reports
: Computer science

491. Fast Joins Using Join Indices

: Li, Zhe; Ross, Kenneth A.
: 1996
: Reports
: Computer science

492. Feasibility of Voice over IP on the Internet

: Sherman, Alex; Nieh, Jason; Freund, Yoav
: 2006
: Reports
: Computer science

493. Feature Interactions in Internet Telephony End Systems

: Wu, Xiaotao; Schulzrinne, Henning G.
: 2004
: Reports
: Computer science

494. Federating Process-Centered Environments: The Oz Experience

: Ben-Shaul, Israel Z.; Kaiser, Gail E.
: 1997
: Reports
: Computer science

495. Finding 9-1-1 Callers in Tall Buildings

: Song, Wonsang; Lee, Jae; Lee, Byung; Schulzrinne, Henning G.
: 2013
: Reports
: Computer science

496. Finding a Better Way: Choosing and Explaining Alternative Plans

: Wolz, Ursula
: 1988
: Reports
: Computer science

497. Finding a Maximum-Genius Graph Imbedding

: Furst, Merrick L.; Gross, Jonathan L.; McGeoch, Lyle A.
: 1987
: Reports
: Computer science

498. Finding a Maximum-Genus Graph Imbedding

: Furst, Merrick L.; Gross, Jonathan L.; McGeoch, Lyle A.
: 1985
: Reports
: Computer science

499. Finding New Rules for Incomplete Theories: Induction with Explicit Biases in Varying Contexts

: Danyluk, Andrea Pohoreckyj
: 1989
: Reports
: Computer science

500. Finite Element Methods Are Not Always Optimal

: Werschulz, Arthur G.
: 1984
: Reports
: Computer science

« Previous
Next »
1
2
3
4
5
6
7
8
9
…
12
13

Academic Commons provides global access to research and scholarship produced at Columbia University, Barnard College, Teachers College, Union Theological Seminary and Jewish Theological Seminary. Academic Commons is managed by the Columbia University Libraries.