770 search results - page 39 / 154 » Dinatural Terms in System F |
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Ionosphere consists of a large complex system whose analysis is of major importance, e.g., for climatology or radiocommunications. Therefore, studying its variations, usually anal...
CHI
2011
ACM
14 years 1 months ago
2011
ACM
Getting the right amount of quality sleep is a key aspect of good health, along with a healthy diet and regular exercise. Human-computer interaction (HCI) researchers have recentl...
COMPGEOM
2011
ACM
14 years 1 months ago
2011
ACM
In this paper, we present the first output-sensitive algorithm to compute the persistence diagram of a filtered simplicial complex. For any Γ > 0, it returns only those homo...
WSDM
2012
ACM
13 years 5 months ago
2012
ACM
Given a database with missing or uncertain content, our goal is to correct and fill the database by extracting specific information from a large corpus such as the Web, and to d...
120
click to vote
TOCL
2012
13 years 6 days ago
2012
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...