1982 search results - page 137 / 397 » Parametricity and dependent types |
235
click to vote
TDP
2010
15 years 5 months ago
2010
Abstract. Several national statistical agencies are now releasing partially synthetic, public use microdata. These comprise the units in the original database with sensitive or ide...
173
click to vote
IRAL
2003
ACM
15 years 12 months ago
2003
ACM
Namedentityrecognition isimportantinsophisticatedinformation service system such as Question Answering and Text Mining since most of the answer type and text mining unit depend on...
182
click to vote
ACL
2007
15 years 8 months ago
2007
This paper presents a method for the automatic generation of a table-of-contents. This type of summary could serve as an effective navigation tool for accessing information in lon...
144
Voted
EUMAS
2006
15 years 8 months ago
2006
Abstract. Support for new forms of organization and social interaction requires understanding the influence of structure on behavior. Goal dependencies indicate some relationship b...
155
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
Dependence-aware transactional memory (DATM) is a recently proposed model for increasing concurrency of memory transactions without complicating their interface. DATM manages depe...