6704 search results - page 496 / 1341 » Testing Scenario-Based Models |
186
click to vote
CSL
2004
Springer
16 years 12 days ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
194
click to vote
ICSR
2004
Springer
16 years 12 days ago
2004
Springer
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
206
click to vote
CVPR
2010
IEEE
16 years 10 days ago
2010
IEEE
Finding fiducial facial points in any frame of a video showing rich naturalistic facial behaviour is an unsolved problem. Yet this is a crucial step for geometric-featurebased fa...
188
click to vote
CIKM
2001
Springer
15 years 11 months ago
2001
Springer
The success of personal information agents depends on their ability to provide task-relevant information. This paper presents WordSieve, a new algorithm that generates context des...
179
click to vote
ADBIS
2000
Springer
15 years 11 months ago
2000
Springer
The majority of database benchmarks currently in use in the industry were designed for relational databases. A different class of benchmarks became required for object oriented dat...