13383 search results - page 320 / 2677 » Abstractions from proofs |
161
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Nominal Logic is an extension of first-order logic with equality, name-binding, name-swapping, and freshness of names. Contrarily to higher-order logic, bound variables a...
161
click to vote
ALT
2006
Springer
16 years 3 months ago
2006
Springer
Abstract. We propose a method of unsupervised learning from stationary, vector-valued processes. A low-dimensional subspace is selected on the basis of a criterion which rewards da...
188
click to vote
RULEML
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, a novel architecture for high-level scene interpretation is introduced, which is based on the generation of rules from an OWL-DL ontology. It is shown that...
155
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— In this paper, a new serial algorithm for highspeed autofocusing of cells is proposed. The proposed algorithm extracts depth information of target cells from their diff...
170
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...