2748 search results - page 149 / 550 » Generating Object-Z Specifications from Use Cases |
108
click to vote
ICAT
2003
IEEE
15 years 5 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...
104
Voted
AI
2010
Springer
15 years 22 days 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 ...
109
Voted
GECCO
2007
Springer
15 years 6 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...
133
click to vote
UML
2005
Springer
15 years 6 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...
106
Voted
CVPR
2006
IEEE
16 years 2 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...