Sciweavers

8450 search results - page 1375 / 1690
» Interactively Modeling with Photogrammetry
Sort
View
ATAL
1995
Springer
15 years 8 months ago
The Architecture of an Agent Building Shell
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
Mihai Barbuceanu, Mark S. Fox
SI3D
1995
ACM
15 years 8 months ago
Impulse-Based Simulation of Rigid Bodies
We introduce a promising new approach to rigid body dynamic simulation called impulse-based simulation. The method is well suited to modeling physical systems with large numbers o...
Brian Mirtich, John F. Canny
POPL
1991
ACM
15 years 8 months ago
Subtyping Recursive Types
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
Roberto M. Amadio, Luca Cardelli
POPL
1990
ACM
15 years 8 months ago
Concurrent Constraint Programming
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
Vijay A. Saraswat, Martin C. Rinard
CIVR
2010
Springer
299views Image Analysis» more  CIVR 2010»
15 years 7 months ago
Co-reranking by mutual reinforcement for image search
Most existing reranking approaches to image search focus solely on mining "visual" cues within the initial search results. However, the visual information cannot always ...
Ting Yao, Tao Mei, Chong-Wah Ngo
« Prev « First page 1375 / 1690 Last » Next »