Sciweavers

11345 search results - page 369 / 2269
» Foundations of Computer Science
Sort
View
ICALP
2003
Springer
15 years 12 months ago
Mixin Modules and Computational Effects
Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena...
JCDL
2003
ACM
115views Education» more  JCDL 2003»
16 years 4 hour ago
Towards a Cultural Heritage Digital Library
: This paper surveys research areas relevant to cultural heritage digital libraries. The emerging National Science Digital Library promises to establish the foundation on which tho...
Gregory Crane, Clifford E. Wulfman
248
Voted

Book
385views
17 years 5 months ago
3D Model Recognition From Stereoscopic Cues
A classic computer vision book.
J.E. W. Mayhew, J.P. Frisby
MP
2010
154views more  MP 2010»
15 years 5 months ago
A null-space primal-dual interior-point algorithm for nonlinear optimization with nice convergence properties
Abstract. We present a null-space primal-dual interior-point algorithm for solving nonlinear optimization problems with general inequality and equality constraints. The algorithm a...
Xinwei Liu, Yaxiang Yuan
161
Voted
CORR
2011
Springer
176views Education» more  CORR 2011»
15 years 1 months ago
Quantitative Synthesis for Concurrent Programs
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
Pavol Cerný, Krishnendu Chatterjee, Thomas ...