256 search results - page 24 / 52 » Separation of NP-Completeness Notions |
PTS
2008
15 years 1 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
DICTA
2003
15 years 1 months ago
2003
We present a scale-space with separate scales in the greyscale and spatial dimensions, using ideas from mathematical morphology. Dynamics are used for greyscale (luminance) filter...
ECIS
2000
15 years 1 months ago
2000
Abstract - Understanding the appropriation of CSCW-Tools is key to their successful implementation. This paper explores the social and organizational appropriation of the Cuparla C...
ECEASST
2008
14 years 12 months ago
2008
In this paper we extend our results (as given in [PHE+07]) concerning the layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (MANETs) using algebraic higher ord...
KAIS
2007
14 years 11 months ago
2007
Published scientific articles are linked together into a graph, the citation graph, through their citations. This paper explores the notion of similarity based on connectivity alo...