8450 search results - page 1615 / 1690 » Interactively Modeling with Photogrammetry |
CSL
2010
Springer
13 years 11 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
FSTTCS
2008
Springer
13 years 11 months ago
2008
Springer
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...
ICML
2010
IEEE
13 years 11 months ago
2010
IEEE
We propose a max-margin formulation for the multi-label classification problem where the goal is to tag a data point with a set of pre-specified labels. Given a set of L labels, a...
AIS
2007
Springer
13 years 10 months ago
2007
Springer
We address the relationship between a music performer and her instrument as a possible model for re-thinking wearable technologies. Both musical instruments and textiles invite pa...
BMCBI
2010
2010
Orientation-dependent backbone-only residue pair scoring functions for fixed backbone protein design
13 years 10 months ago
Background: Empirical scoring functions have proven useful in protein structure modeling. Most such scoring functions depend on protein side chain conformations. However, backbone...