Sciweavers

2509 search results - page 275 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
PAMI
2006
99views more  PAMI 2006»
15 years 6 months ago
Symbolic Signatures for Deformable Shapes
Recognizing classes of objects from their shape is an unsolved problem in machine vision that entails the ability of a computer system to represent and generalize complex geometric...
Salvador Ruiz-Correa, Linda G. Shapiro, Marina Mei...
RITA
2002
110views more  RITA 2002»
15 years 6 months ago
Modeling and Rendering of Real Environments
The use of detailed geometric models is a critical factor for achieving realism in most computer graphics applications. In the past few years, we have observed an increasing deman...
Wagner Toledo Corrêa, Manuel M. Oliveira, Cl...
NAR
2010
129views more  NAR 2010»
15 years 1 months ago
PROSESS: a protein structure evaluation suite and server
PROSESS (PROtein Structure Evaluation Suite and Server) is a web server designed to evaluate and validate protein structures generated by X-ray crystallography, NMR spectroscopy o...
Mark V. Berjanskii, Yongjie Liang, Jianjun Zhou, P...
PKDD
2007
Springer
214views Data Mining» more  PKDD 2007»
16 years 20 days ago
Multi-party, Privacy-Preserving Distributed Data Mining Using a Game Theoretic Framework
Abstract. Analysis of privacy-sensitive data in a multi-party environment often assumes that the parties are well-behaved and they abide by the protocols. Parties compute whatever ...
Hillol Kargupta, Kamalika Das, Kun Liu
AISC
2008
Springer
15 years 8 months ago
Automating Side Conditions in Formalized Partial Functions
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...
Cezary Kaliszyk