Sciweavers

3053 search results - page 128 / 611
» Structured Objects: Modeling and Reasoning
Sort
View
OOPSLA
2007
Springer
15 years 9 months ago
Modular typestate checking of aliased objects
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
Kevin Bierhoff, Jonathan Aldrich
150
Voted
CSCW
1994
ACM
15 years 7 months ago
A Flexible Object Merging Framework
The need to merge different versions of an object toa common state arises in collaborative computing due to several reasons including optimistic concurrency control, asynchronous ...
Jonathan P. Munson, Prasun Dewan
109
Voted
BMCBI
2007
87views more  BMCBI 2007»
15 years 3 months ago
A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures
Background: Mitochondrial tRNAs have been the subject of study for structural biologists interested in their secondary structure characteristics, evolutionary biologists have rese...
Konstantin Yu Popadin, Leila A. Mamirova, Fyodor A...
113
Voted
ICCV
2009
IEEE
15 years 1 months ago
Structure and kinematics triangulation with a rolling shutter stereo rig
We describe a spatio-temporal triangulation method to be used with rolling shutter cameras. We show how a single pair of rolling shutter images enables the computation of both str...
Omar Ait-Aider, François Berry
173
Voted
ICCV
2007
IEEE
15 years 5 months ago
COST: An Approach for Camera Selection and Multi-Object Inference Ordering in Dynamic Scenes
Development of multiple camera based vision systems for analysis of dynamic objects such as humans is challenging due to occlusions and similarity in the appearance of a person wi...
Abhinav Gupta, Anurag Mittal, Larry S. Davis