Sciweavers

3954 search results - page 40 / 791
» Image-based Model Completion
Sort
View
HPCA
2006
IEEE
16 years 2 months ago
Completely verifying memory consistency of test program executions
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
Chaiyasit Manovit, Sudheendra Hangal
94
Voted
IPL
2008
84views more  IPL 2008»
15 years 1 months ago
Minimal proper interval completions
Given an arbitrary graph G = (V, E) and a proper interval graph H = (V, F) with E F we say that H is a proper interval completion of G. The graph H is called a minimal proper inte...
Ivan Rapaport, Karol Suchan, Ioan Todinca
87
Voted
ASSETS
2006
ACM
15 years 7 months ago
From letters to words: efficient stroke-based word completion for trackball text entry
We present a major extension to our previous work on Trackball EdgeWrite—a unistroke text entry method for trackballs—by taking it from a character-level technique to a word-l...
Jacob O. Wobbrock, Brad A. Myers
112
Voted
EAAI
2008
101views more  EAAI 2008»
15 years 1 months ago
A global constraint for total weighted completion time for cumulative resources
The criterion of total weighted completion time occurs as a sub-problem of combinatorial optimization problems in such diverse areas as scheduling, container loading and storage a...
András Kovács, J. Christopher Beck
137
Voted
COMPGEOM
2010
ACM
15 years 7 months ago
3D Euler spirals for 3D curve completion
Shape completion is an intriguing problem in geometry processing with applications in CAD and graphics. This paper defines a new type of 3D curves, which can be utilized for curv...
Gur Harary, Ayellet Tal