3207 search results - page 462 / 642 » A Semantics for HTN Methods |
205
click to vote
MLMI
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a shallow dialogue analysis model, aimed at human-human dialogues in the context of staff or business meetings. Four components of the model are defined, and ...
174
click to vote
SETN
2004
Springer
15 years 11 months ago
2004
Springer
Content based image retrieval is an active research area of pattern recognition. A new method of extracting global texture energy descriptors is proposed and it is combined with fe...
147
click to vote
SIGADA
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...
194
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
148
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
—Applications on mobile computers must adapt to high variability in wireless network performance. Extending the semantics of transport protocols to offer more control over commun...