288 search results - page 37 / 58 » Table of Contents (pdf) |
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
This paper introduces a nested sequent system for predicate logic. The system features a structural universal quantifier and a universally closed existential rule. One nice conseq...
SEMWEB
2010
Springer
14 years 8 months ago
2010
Springer
We describe a mapping language for converting data contained in spreadsheets into the Web Ontology Language (OWL). The developed language, called M2 , overcomes shortcomings with e...
HCI
2009
14 years 8 months ago
2009
In this paper we describe our approach to support ongoing meetings with an automated meeting assistant. We propose an alternative user interface for the AMIDA Content Linking Devic...
101
click to vote
CSCW
2011
ACM
14 years 5 months ago
2011
ACM
A microblogged stream is delivered over time, providing an ongoing commentary of topics, trends, and issues. In this article, we present two methods of finding temporal topics wi...
65
Voted
FFA
2011
14 years 5 months ago
2011
In this paper, we begin exploring the construction of algebraic codes from toric varieties using toric residues. Though algebraic codes have been constructed from toric varieties, ...