Sciweavers

3408 search results - page 243 / 682
» Logic, language, information and computation
Sort
View
ACL
2009
15 years 4 months ago
Robust Approach to Abbreviating Terms: A Discriminative Latent Variable Model with Global Information
The present paper describes a robust approach for abbreviating terms. First, in order to incorporate non-local information into abbreviation generation tasks, we present both impl...
Xu Sun, Naoaki Okazaki, Jun-ichi Tsujii
POLICY
2001
Springer
15 years 11 months ago
The Ponder Policy Specification Language
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...
Nicodemos Damianou, Naranker Dulay, Emil Lupu, Mor...
VL
2005
IEEE
102views Visual Languages» more  VL 2005»
16 years 7 days ago
Using Objects of Measurement to Detect Spreadsheet Errors
There are many common spreadsheet errors that traditional spreadsheet systems do not help users find. This paper presents a statically-typed spreadsheet language that adds additio...
Michael J. Coblenz, Andrew Jensen Ko, Brad A. Myer...
CAISE
2008
Springer
15 years 8 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
ACL
2011
14 years 10 months ago
A Large Scale Distributed Syntactic, Semantic and Lexical Language Model for Machine Translation
This paper presents an attempt at building a large scale distributed composite language model that simultaneously accounts for local word lexical information, mid-range sentence s...
Ming Tan, Wenli Zhou, Lei Zheng, Shaojun Wang