4679 search results - page 831 / 936 » The Timely Computing Base Model and Architecture |
137
click to vote
FOCM
2010
15 years 4 months ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
163
click to vote
SPIN
2009
Springer
16 years 26 days ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...
203
click to vote
CA
1998
IEEE
15 years 10 months ago
1998
IEEE
We present a new approach for establishing correspondence between two homeomorphic 3D polyhedral models. The user can specify corresponding feature pairs on the polyhedra with a s...
205
click to vote
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
Recent work on early vision such as image segmentation, image restoration, stereo matching, and optical flow models these problems using Markov Random Fields. Although this formula...
157
click to vote
ICNS
2007
IEEE
16 years 19 days ago
2007
IEEE
— This paper presents a new end-to-end available bandwidth measurement tool called IGMPS (Improved Gap Model using Packet Size parameter). IGMPS is a lightweight tool based on a ...