2742 search results - page 461 / 549 » Deriving Category Theory from Type Theory |
CVPR
1998
IEEE
14 years 11 months ago
1998
IEEE
In this paper we present a method for the integration of nonlinear holonomic constraints in deformable models and its application to the problems of shape and illuminant direction...
BIBE
2005
IEEE
14 years 2 months ago
2005
IEEE
RNA plays a critical role in mediating every step of cellular information transfer from genes to functional proteins. Pseudoknots are widely occurring structural motifs found in a...
CIKM
2009
Springer
14 years 3 months ago
2009
Springer
Keyphrases are short phrases that reflect the main topic of a document. Because manually annotating documents with keyphrases is a time-consuming process, several automatic appro...
WEBDB
2010
Springer
14 years 1 months ago
2010
Springer
Wikipedia infoboxes is an example of a seemingly structured, yet extraordinarily heterogeneous dataset, where any given record has only a tiny fraction of all possible fields. Su...
CICLING
2003
Springer
14 years 2 months ago
2003
Springer
A new sort of generative grammar (Sec2) will be demonstrated which is more radically “lexicalist” than any earlier one (Sec1). It is a modified Unification Categorial Gramma...