Sciweavers

2016 search results - page 14 / 404
» Megamaps: Construction and Examples
Sort
View
AAECC
2009
Springer
138views Algorithms» more  AAECC 2009»
14 years 14 days ago
Efficient Constructions of Deterministic Encryption from Hybrid Encryption and Code-Based PKE
Abstract. We build on the new security notion for deterministic encryption (PRIV) and the PRIV-secure schemes presented by Bellare et al at Crypto'07. Our work introduces: 1) ...
Yang Cui, Kirill Morozov, Kazukuni Kobara, Hideki ...
ECAL
2007
Springer
14 years 11 days ago
How Does Niche Construction Reverse the Baldwin Effect?
Deacon [1] considers that the reverse Baldwin effect can be one of the major forces in language evolution. The reverse Baldwin effect is essentially a redistributional process of g...
Hajime Yamauchi
FOSSACS
2008
Springer
13 years 10 months ago
The Implicit Calculus of Constructions as a Programming Language with Dependent Types
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
Bruno Barras, Bruno Bernardo
LREC
2010
163views Education» more  LREC 2010»
13 years 10 months ago
Constructing a Textual Semantic Relation Corpus Using a Discourse Treebank
In this paper, we present our work on constructing a textual semantic relation corpus by making use of an existing treebank annotated with discourse relations. We extract adjacent...
Rui Wang, Caroline Sporleder
FEWS
2007
13 years 10 months ago
Constructing Semantic Campus for Academic Collaboration
: This paper proposes a methodology for constructing Semantic Campus, a Semantic Web application that represents the social network of the academics in the university, King Mongkut...
Natenapa Sriharee, Ravikarn Punnarut