917 search results - page 78 / 184 » On the Semantics of Updates in a Functional Language |
CHI
2003
ACM
15 years 10 months ago
2003
ACM
This paper describes a system, Mr.Web, designed to interact with users over email to create and update Web pages. Our goal is that users interact with Mr.Web as if it were a human...
CSFW
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...
IJCAI
2001
14 years 11 months ago
2001
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
BIRTHDAY
2007
Springer
15 years 4 months ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
AIIA
2007
Springer
15 years 4 months ago
2007
Springer
We present a simple, two-steps supervised strategy for the identification and classification of thematic roles in natural language texts. We employ no external source of informat...