6800 search results - page 641 / 1360 » Testing with Functions as Specifications |
206
Voted
COLT
2008
Springer
15 years 9 months ago
2008
Springer
In the multi-view learning paradigm, the input variable is partitioned into two different views X1 and X2 and there is a target variable Y of interest. The underlying assumption i...
227
Voted
SIAMCOMP
2010
15 years 5 months ago
2010
We propose a general model of local property reconstruction. Suppose we have a function f on domain Γ, which is supposed to have a particular property P, but may not have the pro...
195
Voted
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...
177
Voted
ECMDAFA
2007
Springer
16 years 1 months ago
2007
Springer
Although there are a large number of academic and industrial model transformation frameworks available, allowing specification, implementation, maintenance and documentation of mod...
206
Voted
CASES
2007
ACM
15 years 11 months ago
2007
ACM
The last decade has witnessed the emergence of the Application Specific Instruction-set Processor (ASIP) as a viable platform for embedded systems. Extensible ASIPs allow the user...