1280 search results - page 146 / 256 » Soft Typing with Conditional Types |
COMPGEOM
2010
ACM
14 years 2 months ago
2010
ACM
We consider the problem of reconstructing a compact 3manifold (with boundary) embedded in R3 from its crosssections with a given set of cutting planes having arbitrary orientation...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— Bayesian networks have extensively been used in numerous fields including artificial intelligence, decision theory and control. Its ability to utilize noisy and missing data ...
SIGGRAPH
2010
ACM
14 years 1 months ago
2010
ACM
We present a technique for learning clothing models that enables the simultaneous animation of thousands of detailed garments in real-time. This surprisingly simple conditional mo...
MCU
2004
13 years 10 months ago
2004
Many different definitions of computational universality for various types of systems have flourished since Turing's work. In this paper, we propose a general definition of un...
NAACL
2003
13 years 10 months ago
2003
We introduce factored language models (FLMs) and generalized parallel backoff (GPB). An FLM represents words as bundles of features (e.g., morphological classes, stems, data-drive...