1772 search results - page 135 / 355 » The Model Coupling Toolkit |
UM
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we present the results of a two-month field study of fifteen people using a software tool designed to model changes in a user’s availability. The software uses s...
91
Voted
AVBPA
2001
Springer
15 years 4 months ago
2001
Springer
Gait is an emerging biometric. Current systems are either holistic or feature based and have been demonstrated to be able to recognise people by the way they walk. This paper descr...
IJFCS
2007
14 years 11 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
ICIP
2009
IEEE
16 years 19 days ago
2009
IEEE
This paper presents a new image segmentation framework which employs a shape prior in the form of an edge strength function to introduce a higher-level influence on the segmentati...
66
Voted
ICSM
2006
IEEE
15 years 5 months ago
2006
IEEE
— Software maintenance tools for program analysis and refactoring rely on a meta-model capturing the relevant properties of programs. However, what is considered relevant may cha...