5228 search results - page 655 / 1046 » Case Studies for Software Engineers |
219
click to vote
SIAMJO
2011
15 years 1 months ago
2011
This paper is concerned with the study of a class of prox-penalization methods for solving variational inequalities of the form Ax + NC (x) 0 where H is a real Hilbert space, A : H...
259
click to vote
TCBB
2011
15 years 1 months ago
2011
—Constructing accurate computational models that explain how ions permeate through a biological ion channel is an important problem in biophysics and drug design. Brownian dynami...
178
click to vote
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper studies the reconstruction of unknown curved surfaces through finger tracking. A patch can be generated from tactile data points along three concurrent surface curves un...
186
click to vote
FOSSACS
2012
Springer
14 years 2 months ago
2012
Springer
We consider concurrent games played on graphs, in which each player has several qualitative (e.g. reachability or B¨uchi) objectives, and a preorder on these objectives (for insta...
208
click to vote
FOSSACS
2012
Springer
14 years 2 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...