2748 search results - page 149 / 550 » Generating Object-Z Specifications from Use Cases |
132
click to vote
ICAT
2003
IEEE
15 years 8 months ago
2003
IEEE
Light field rendering (LFR) is a fundamental method for generating new views from a set of pre-acquired images. We use densely-aligned cameras for the process of acquiring the se...
133
Voted
AI
2010
Springer
15 years 3 months ago
2010
Springer
Today's computer-human interfaces are typically designed with the assumption that they are going to be used by an able-bodied person, who is using a typical set of input and ...
133
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
The Second Harmonic Generation (SHG), a process that turns out to be a good test case in the physics lab, can also be considered as a fairly simple theoretical test function for g...
157
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
125
Voted
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
When labelled training data is plentiful, discriminative techniques are widely used since they give excellent generalization performance. However, for large-scale applications suc...