Sciweavers

1070 search results - page 72 / 214
» Type Classes with Functional Dependencies
Sort
View
BMCBI
2010
103views more  BMCBI 2010»
13 years 9 months ago
Detecting internally symmetric protein structures
Background: Many functional proteins have a symmetric structure. Most of these are multimeric complexes, which are made of non-symmetric monomers arranged in a symmetric manner. H...
Changhoon Kim, Jodi Basner, Byungkook Lee
EOR
2010
110views more  EOR 2010»
13 years 9 months ago
Pricing surplus server capacity for mean waiting time sensitive customers
Resources including various assets of supply chains, face random demand over time and can be shared by others. We consider an operational setting where a resource is shared by two...
Sudhir K. Sinha, N. Rangaraj, N. Hemachandra
ICFP
2006
ACM
14 years 9 months ago
Type-theoretic design patterns
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
Ondrej Rypacek, Roland Carl Backhouse, Henrik Nils...
ICCV
2007
IEEE
14 years 11 months ago
Mixture-of-Parts Pictorial Structures for Objects with Variable Part Sets
For many multi-part object classes, the set of parts can vary not only in location but also in type. For example, player formations in American football involve various subsets of...
Robin Hess, Alan Fern, Eric N. Mortensen
TYPES
2000
Springer
14 years 22 days ago
A Tour with Constructive Real Numbers
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
Alberto Ciaffaglione, Pietro Di Gianantonio