949 search results - page 74 / 190 » Relating Imperatives to Action |
ACL
1993
13 years 9 months ago
1993
1 Efficient natural language generation has been successfully demonstrated using highly compiled knowledge about speech acts and their related social actions. A design and prototyp...
DCG
2007
13 years 7 months ago
2007
The GIT chamber decomposition arising from a subtorus action on a polarized quasiprojective toric variety is a polyhedral complex. Denote by Σ the fan that is the cone over the po...
MST
2008
13 years 7 months ago
2008
Abstract Threads as contained in a thread algebra are used for the modeling of sequential program behavior. A thread that may use a counter to control its execution is called a `on...
TCS
1998
13 years 7 months ago
1998
A method is described for proving “always possibly” properties of specifications in formalisms with linear-time trace semantics. It is shown to be relatively complete for TLA...
EDBT
2000
ACM
13 years 11 months ago
2000
ACM
the research activities. This abstract is to introduce the approach of a data model - EP data model. Its data structure is able to store as a finite set of nodes arbitrary effectiv...