4418 search results - page 696 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
159
click to vote
SSD
2005
Springer
15 years 12 months ago
2005
Springer
Networks often form the core of many users’ spatial databases. Networks are used to support the rapid navigation and analysis of linearly connected data such as that found in tra...
178
click to vote
ICCBR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Planning the ongoing care of Alzheimer's Disease (AD) patients is a complex task, marked by cases that change over time, multiple perspectives, and ethical issues. G...
174
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a new approach to generate biometric hash values based on statistical features in online signature signals. Whilst the output of typical online signature verif...
165
click to vote
CAV
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
160
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...