1087 search results - page 51 / 218 » Generation under Space Constraints |
134
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
148
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes an efficient error simulator able to analyze functional VHDL descriptions. The proposed simulation environment can be based on commercial VHDL simulators. Al...
179
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
? Robust feature matching across different views of the same scene taken by two cameras with wide baseline and arbitrary rotation is still an open problem. Matching based on appear...
130
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
136
click to vote
AAAI
2012
13 years 6 months ago
2012
Existing clustering methods can be roughly classified into two categories: generative and discriminative approaches. Generative clustering aims to explain the data and thus is ad...