2205 search results - page 207 / 441 » Mutation Operators for Specifications |
137
Voted
EUROIMSA
2006
15 years 4 months ago
2006
Sports analysis has recently become popular in research and professional applications. This paper presents a scheme for automatic sports video analysis based on audio clues and sp...
129
click to vote
SEC
2004
15 years 4 months ago
2004
: Smart card secure channel protocols based on public key cryptography are not widely utilised mainly due to processing overheads introduced in the underlying smart card microproce...
123
Voted
AAAI
1996
15 years 3 months ago
1996
ContactFinder is an intelligent agent whose approach to assisting users is valuable and innovative in the following four ways. First, ContactFinder operates proactively in reading...
125
Voted
ATVA
2009
Springer
15 years 3 months ago
2009
Springer
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...
132
Voted
CIDR
2009
15 years 3 months ago
2009
In database query processing, actual run-time conditions (e.g., actual selectivities and actual available memory) very often differ from compile-time expectations of run-time cond...