10910 search results - page 1787 / 2182 » Input modeling using a computer algebra system |
194
click to vote
TACAS
2005
Springer
16 years 1 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
198
click to vote
SCCC
1998
IEEE
15 years 11 months ago
1998
IEEE
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its inte...
194
click to vote
NDSS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents a model of hierarchical organization of Certification Authorities which can be applied to any open system network. In order to study the feasibility of the pro...
176
click to vote
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
Predicting human occupations in photos has great application potentials in intelligent services and systems. However, using traditional classification methods cannot reliably dis...
228
click to vote
ECCV
2008
Springer
16 years 9 months ago
2008
Springer
Different materials reflect light in different ways, so reflectance is a useful surface descriptor. Existing systems for measuring reflectance are cumbersome, however, and although...