Sciweavers

642 search results - page 83 / 129
» A Semantic Future for AI
Sort
View
ICDE
2010
IEEE
191views Database» more  ICDE 2010»
13 years 8 months ago
Coordination of data in heterogenous domains
Abstract— Existing semantic integration approaches to coordinating data do not meet the needs of real world scenarios which contain fine-grained relationships between data sourc...
Michael K. Lawrence, Rachel Pottinger, Sheryl Stau...
NAACL
2010
13 years 8 months ago
Towards Cross-Lingual Textual Entailment
This paper investigates cross-lingual textual entailment as a semantic relation between two text portions in different languages, and proposes a prospective research direction. We...
Yashar Mehdad, Matteo Negri, Marcello Federico
AAAI
2006
13 years 11 months ago
Learning Systems of Concepts with an Infinite Relational Model
Relationships between concepts account for a large proportion of semantic knowledge. We present a nonparametric Bayesian model that discovers systems of related concepts. Given da...
Charles Kemp, Joshua B. Tenenbaum, Thomas L. Griff...
TLDI
2010
ACM
247views Formal Methods» more  TLDI 2010»
14 years 7 months ago
F-ing modules
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
Andreas Rossberg, Claudio V. Russo, Derek Dreyer
POPL
2006
ACM
14 years 10 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...