Results 1 - 10 of 2,997

Stable isotope labeling by amino acids in cell culture, SILAC, as a simple and accurate approach to expression proteomics

by Shao-en Ong, Blagoy Blagoev, Irina Kratchmarova, Dan Bach Kristensen, Akhilesh P, Matthias Mann - Mol. Cell. Proteomics , 2002
"... The abbreviations used are: SILAC: Stable isotope labeling by amino acids in cell culture, 2DE: two dimensional (isoelectric focusing/SDS-PAGE) gel electrophoresis: ICATTM: isotope-coded affinity tag; MS: mass spectrometry; MALDI-TOF: matrix assisted laser desorption ionization-time of flight; PMF: ..."
Abstract - Cited by 595 (23 self) - Add to MetaCart
The abbreviations used are: SILAC: Stable isotope labeling by amino acids in cell culture, 2DE: two dimensional (isoelectric focusing/SDS-PAGE) gel electrophoresis: ICATTM: isotope-coded affinity tag; MS: mass spectrometry; MALDI-TOF: matrix assisted laser desorption ionization-time of flight; PMF

Multiresolution Analysis of Arbitrary Meshes

by Matthias Eck , Tony DeRose, Tom Duchamp, Hugues Hoppe, Michael Lounsbery, Werner Stuetzle , 1995
"... In computer graphics and geometric modeling, shapes are often represented by triangular meshes. With the advent of laser scanning systems, meshes of extreme complexity are rapidly becoming commonplace. Such meshes are notoriously expensive to store, transmit, render, and are awkward to edit. Multire ..."
Abstract - Cited by 600 (16 self) - Add to MetaCart
In computer graphics and geometric modeling, shapes are often represented by triangular meshes. With the advent of laser scanning systems, meshes of extreme complexity are rapidly becoming commonplace. Such meshes are notoriously expensive to store, transmit, render, and are awkward to edit

CCured: Type-Safe Retrofitting of Legacy Code

by George C. Necula, Scott McPeak, Westley Weimer - PRINCIPLES OF PROGRAMMING LANGUAGES , 2002
"... In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that of C by separating pointer types according to their usage. This type system allows both pointers whose usage can be verif ..."
Abstract - Cited by 392 (9 self) - Add to MetaCart
be verified statically to be type safe, and pointers whose safety must be checked at run time. We prove a type soundness result and then we present a surprisingly simple type inference algorithm that is able to infer the appropriate pointer kinds for existing C programs. Our experience with the CCured system

Efficient Detection of All Pointer and Array Access Errors

by Todd M. Austin, Scott E. Breach, Gurindar S. Sohi , 1994
"... We present a pointer and array access checking technique that provides complete error coverage through a simple set of program transformations. Our technique, based on an extended safe pointer representation, has a number of novel aspects. Foremost, it is the first technique that detects all spatial ..."
Abstract - Cited by 246 (1 self) - Add to MetaCart
We present a pointer and array access checking technique that provides complete error coverage through a simple set of program transformations. Our technique, based on an extended safe pointer representation, has a number of novel aspects. Foremost, it is the first technique that detects all

The Pointer Assertion Logic Engine

by Anders Møller, Michael I. Schwartzbach - Proc. ACM PLDI , 2001
"... We present a new framework for verifying partial specifications of programs in order to catch type and memory errors and check data structure invariants. Our technique can verify a large class of data structures, namely all those that can be expressed as graph types. Earlier versions were restricted ..."
Abstract - Cited by 156 (3 self) - Add to MetaCart
restricted to simple special cases such as lists or trees. Even so, our current implementation is as fast as the previous specialized tools. Programs are annotated with partial specifications expressed in Pointer Assertion Logic, a new notation for expressing properties of the program store. We work

Journal of Virtual Reality and Broadcasting, Volume 4(2006), no. 14 Abstract Augmenting a Laser Pointer with a Diffraction Grating for Monoscopic 6DOF Detection

by Marc Erich Latoschik, Elmar Bomberg
"... www: www.techfak.uni-bielefeld.de/ags/wbski/ This article illustrates the detection of 6 degrees of freedom (DOF) for Virtual Environment interactions using a modified simple laser pointer device and a camera. The laser pointer is combined with a diffraction grating to project a unique laser grid on ..."
Abstract - Add to MetaCart
www: www.techfak.uni-bielefeld.de/ags/wbski/ This article illustrates the detection of 6 degrees of freedom (DOF) for Virtual Environment interactions using a modified simple laser pointer device and a camera. The laser pointer is combined with a diffraction grating to project a unique laser grid

MagicWand: The True Universal Remote Control

by Jerry Alan Fails, Dan R. Olsen Jr.
"... This paper describes an inexpensive universal remote control device --- a simple laser pointer. Using a single inexpensive camera, any interior space can be instrumented with device controls. The MagicWand allows users to manipulate data by pointing a laser at predefined widget areas. ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
This paper describes an inexpensive universal remote control device --- a simple laser pointer. Using a single inexpensive camera, any interior space can be instrumented with device controls. The MagicWand allows users to manipulate data by pointing a laser at predefined widget areas.

Laser Pointers as Collaborative Pointing Devices

by Ji-Young Oh, Wolfgang Stuerzlinger , 2002
"... Single Display Groupware (SDG) is a research area that focuses on providing collaborative computing environments. Traditionally, most hardware platforms for SDG support only one person interacting at any given time, which limits collaboration. In this paper, we present laser pointers as input device ..."
Abstract - Cited by 67 (6 self) - Add to MetaCart
Single Display Groupware (SDG) is a research area that focuses on providing collaborative computing environments. Traditionally, most hardware platforms for SDG support only one person interacting at any given time, which limits collaboration. In this paper, we present laser pointers as input

Interacting at a Distance: Measuring the Performance of Laser Pointers and Other Devices

by Brad A. Myers, Rishi Bhatnagar, Jeffrey Nichols, Choon Hong Peck, Dave Kong, Robert Miller, A. Chris Long - CHI 2002, APRIL 20-25, 2002, MINNEAPOLIS , 2002
"... It is difficult to interact with computer displays that are across the room. A popular approach is to use laser pointers tracked by a camera, but interaction techniques using laser pointers tend to be imprecise, error-prone, and slow. Although many previous papers discuss laser pointer interaction t ..."
Abstract - Cited by 107 (1 self) - Add to MetaCart
It is difficult to interact with computer displays that are across the room. A popular approach is to use laser pointers tracked by a camera, but interaction techniques using laser pointers tend to be imprecise, error-prone, and slow. Although many previous papers discuss laser pointer interaction

Laser Pointer Interaction

by Dan R. Olsen Jr., Travis Nielsen , 2001
"... Group meetings and other non-desk situations require that people be able to interact at a distance from a display surface. This paper describes a technique using a laser pointer and a camera to accomplish just such interactions. Calibration techniques are given to synchronize the display and camera ..."
Abstract - Cited by 12 (0 self) - Add to MetaCart
Group meetings and other non-desk situations require that people be able to interact at a distance from a display surface. This paper describes a technique using a laser pointer and a camera to accomplish just such interactions. Calibration techniques are given to synchronize the display and camera
Results 1 - 10 of 2,997