Sciweavers

43264 search results - page 255 / 8653
» Comparing models of computation
Sort
View
151
Voted
SMA
2008
ACM
203views Solid Modeling» more  SMA 2008»
15 years 3 months ago
Interactive continuous collision detection between deformable models using connectivity-based culling
We present an interactive algorithm for continuous collision detection between deformable models. We introduce two techniques to improve the culling efficiency and reduce the numb...
Min Tang, Sean Curtis, Sung-Eui Yoon, Dinesh Manoc...
ACL
2012
13 years 6 months ago
Modeling Sentences in the Latent Space
Sentence Similarity is the process of computing a similarity score between two sentences. Previous sentence similarity work finds that latent semantics approaches to the problem ...
Weiwei Guo, Mona T. Diab
PEPM
2009
ACM
16 years 25 days ago
Guided model checking for programs with polymorphism
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
Neha Rungta, Eric G. Mercer
HCW
1999
IEEE
15 years 8 months ago
Communication Modeling of Heterogeneous Networks of Workstations for Performance Characterization of Collective Operations
: Networks of Workstations (NOW) have become an attractive alternative platform for high performance computing. Due to the commodity nature of workstations and interconnects and du...
Mohammad Banikazemi, Jayanthi Sampathkumar, Sandee...
CVPR
2011
IEEE
14 years 7 months ago
A Hierarchical Conditional Random Field Model for Labeling and Segmenting Images of Street Scenes
Simultaneously segmenting and labeling images is a fundamental problem in Computer Vision. In this paper, we introduce a hierarchical CRF model to deal with the problem of labelin...
Qixing Huang, Mei Han, Bo Wu, Sergey Ioffe