400 search results - page 29 / 80 » Moving Proofs-As-Programs into Practice |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
In the recent work of Candes et al, the problem of recovering low rank matrix corrupted by i.i.d. sparse outliers is studied and a very elegant solution, principal component pursui...
MVA
1992
13 years 8 months ago
1992
The analysis of color image sequence is very heavy if the analysis is carried out for each image. But, in many practical cases, there is no need to know the precise motion and sha...
CLUSTER
2002
IEEE
14 years 16 days ago
2002
IEEE
A practical problem faced by users of metacomputers and computational grids is: If my computation can move from one system to another, how can I ensure that my data will still be ...
FOMI
2008
13 years 9 months ago
2008
I develop a few suggestions how formal ontology can meet industry and practice. This is not just a matter of useful ontology-based applications. That is a necessary but also rather...
ARGMAS
2004
Springer
13 years 11 months ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...