3207 search results - page 462 / 642 » A Semantics for HTN Methods |
228
Voted
MLMI
2004
Springer
16 years 11 days 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 ...
195
Voted
SETN
2004
Springer
16 years 11 days 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...
167
click to vote
SIGADA
2004
Springer
16 years 11 days 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...
212
Voted
VMCAI
2004
Springer
16 years 11 days 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 ...
164
click to vote
INFOCOM
2003
IEEE
16 years 9 days 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...