Sciweavers

102291 search results - page 20021 / 20459
» Computing
Sort
View
137
Voted
ACL
1994
15 years 5 months ago
Discourse Obligations in Dialogue Processing
We show that in modeling social interaction, particularly dialogue, the attitude of obligation can be a useful adjunct to the popularly considered attitudes of belief, goal, and i...
David R. Traum, James F. Allen
140
Voted
ANLP
1994
155views more  ANLP 1994»
15 years 5 months ago
Guided Sentences Composition for Disabled People
We present the advantages of guided sentences composition for communicating in natural language with computers. We show how guidance can be achieved by means of the partial synthe...
Robert Pasero, Nathalie Richardet, Paul Sabatier
128
Voted
CASCON
1996
134views Education» more  CASCON 1996»
15 years 5 months ago
Paradigm shift in software re-engineering: an experience report
Software re-engineering is one of the solutions advocated for the problems that are encountered during maintenance. The three major phases of a re-engineering process are (i) reve...
Kasilingam Periyasamy, C. Mathew
FORTE
1994
15 years 5 months ago
An improvement in formal verification
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
Gerard J. Holzmann, Doron Peled
317
Voted
GRAPHICSINTERFACE
1996
15 years 5 months ago
Realistic Animation of Liquids
We present a comprehensive methodology for realistically animating liquid phenomena. Our approach unifies existing computer graphics techniques for simulating fluids and extends t...
Nick Foster, Dimitris N. Metaxas
« Prev « First page 20021 / 20459 Last » Next »