Sciweavers

659 search results - page 82 / 132
» Binding as sets of scopes
Sort
View
IPMI
2003
Springer
16 years 1 months ago
Object-Based Strategy for Morphometry of the Cerebral Cortex
Most of the approaches dedicated to automatic morphometry rely on a point-by-point strategy based on warping each brain towards a reference coordinate system. In this paper, we des...
Jean-Francois Mangin, Denis Rivière, Arnaud...
107
Voted
WWW
2005
ACM
16 years 1 months ago
Improving portlet interoperability through deep annotation
Portlets (i.e. multi-step, user-facing applications to be syndicated within a portal) are currently supported by most portal frameworks. However, there is not yet a definitive ans...
Arantza Irastorza, Jon Iturrioz, Oscar Díaz
106
Voted
TCC
2009
Springer
177views Cryptology» more  TCC 2009»
16 years 1 months ago
Composability and On-Line Deniability of Authentication
Abstract. Protocols for deniable authentication achieve seemingly paradoxical guarantees: upon completion of the protocol the receiver is convinced that the sender authenticated th...
Yevgeniy Dodis, Jonathan Katz, Adam Smith, Shabsi ...
124
Voted
ICFP
2005
ACM
16 years 16 days ago
Associated type synonyms
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
Manuel M. T. Chakravarty, Gabriele Keller, Simon L...
82
Voted
CSCW
2010
ACM
15 years 9 months ago
Lessons from thoughtswap-ing: increasing participants' coordinative agency in facilitated discussions
A successful collaborative tool designed to aid discussion must be flexible, maintain the user’s coordinative agency, and be appropriable in many contexts. We have developed a ...
Margaret Dickey-Kurdziolek, Matthew Schaefer, Debo...