3207 search results - page 466 / 642 » A Semantics for HTN Methods |
177
click to vote
GCSE
1999
Springer
15 years 10 months ago
1999
Springer
Aspect-orientedprogramming provides theprogrammer with means to cross-cut conventional program structures, in particular the class hierarchies of object-oriented programming. This ...
146
click to vote
FGR
1998
IEEE
15 years 10 months ago
1998
IEEE
A method for extracting information about facial expressions from images is presented. Facial expression images are coded using a multi-orientation, multi-resolution set of Gabor ...
172
click to vote
ISCOPE
1999
Springer
15 years 10 months ago
1999
Springer
SIFFEA is an automated system for parallel nite element method (PFEM) with unstructured meshes on distributed memory machines. It synthesizes mesh generator, mesh partitioner, line...
197
click to vote
ICSM
1998
IEEE
15 years 10 months ago
1998
IEEE
Visual impact analysis is a software visualisation technique that lets software maintainers judge the impact of proposed changes and plan maintenance accordingly. An existing CASE...
163
click to vote
TABLEAUX
1999
Springer
15 years 10 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...