3381 search results - page 290 / 677 » adaptive 2007 |
162
click to vote
TAP
2007
Springer
16 years 24 days ago
2007
Springer
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
168
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Although the elaboration of the case representation is the key problem of the case-based reasoning system conception, there exists no proven methodology targeted to this task. Thi...
160
click to vote
IC
2001
15 years 8 months ago
2001
- This paper presents an e-commerce framework called WebShop, which was developed by the authors for the purpose of demonstrating the use of UML and the UML-F in the domain of Web ...
206
click to vote
GRAPHICSINTERFACE
1996
15 years 8 months ago
1996
An interactive system for designing curved surfaces is proposed which is based on direct manipulation of a single-view shaded image of this surface. Apart from functions like carv...
167
Voted
AVSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Traditional video scene analysis depends on accurate background modeling to identify salient foreground objects. However, in many important surveillance applications, saliency is ...