Sciweavers

1072 search results - page 110 / 215
» Innovation as language action
Sort
View
ESOP
2000
Springer
14 years 18 days ago
Secure Information Flow as Typed Process Behaviour
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Y...
ACL
1998
13 years 10 months ago
A Computational Model of Social Perlocutions
The view that communication is a form of action serving a variety of specific functions has had a tremendous impact on the philosophy of language and on computational linguistics....
David Pautler, Alex Quilici
CPHYSICS
2007
88views more  CPHYSICS 2007»
13 years 9 months ago
Programming physics softwares in Flash
We discuss various aspects of programming physics education software in Adobe Flash. Since the authoring environment for Flash is initially developed for non-programmers, it is ea...
Koo-Chul Lee, Julian Lee
INLG
2010
Springer
13 years 7 months ago
Hierarchical Reinforcement Learning for Adaptive Text Generation
We present a novel approach to natural language generation (NLG) that applies hierarchical reinforcement learning to text generation in the wayfinding domain. Our approach aims to...
Nina Dethlefs, Heriberto Cuayáhuitl
ICSE
2009
IEEE-ACM
14 years 3 months ago
Mining exception-handling rules as sequence association rules
Programming languages such as Java and C++ provide exception-handling constructs to handle exception conditions. Applications are expected to handle these exception conditions and...
Suresh Thummalapenta, Tao Xie