Sciweavers

10462 search results - page 19 / 2093
» Towards an
Sort
View
CICLING
2010
Springer
13 years 7 months ago
Issues in Analyzing Telugu Sentences towards Building a Telugu Treebank
This paper describes an effort towards building a Telugu Dependency Treebank. We discuss the basic framework and issues we encountered while annotating. 1487 sentences have been an...
Chaitanya Vempaty, Viswanatha Naidu, Samar Husain,...
FIRSTMONDAY
2008
60views more  FIRSTMONDAY 2008»
13 years 7 months ago
Opening Pandora's box: How technologies of communication and cognition may be shifting towards a 'psycho-civilized society'
Increasingly there are indications that the uses of wireless technologies have been developed to target an individual's biological body, with specific focus upon the neuronal...
Kingsley L. Dennis
SCP
2008
91views more  SCP 2008»
13 years 7 months ago
Towards mechanized correctness proofs for cryptographic algorithms: Axiomatization of a probabilistic Hoare style logic
In [5] we build a formal verification technique for game based correctness proofs of cryptograhic algorithms based on a probabilistic Hoare style logic [10]. An important step towa...
Jerry den Hartog
TCS
2010
13 years 5 months ago
Towards practical feasibility of core computation in data exchange
Abstract. Core computation in data exchange is concerned with materializing the minimal target database for a given source database. Gottlob and Nash have recently shown that the c...
Reinhard Pichler, Vadim Savenkov
ACMICEC
2004
ACM
149views ECommerce» more  ACMICEC 2004»
14 years 28 days ago
Emerging customer trends towards mobile music services
Elaborating on the rapid evolution of mobile entertainment services, this paper investigates customers’ preferences and attitudes towards mobile music services in Europe through...
Pavlos Vlachos, Adam P. Vrechopoulos