10916 search results - page 1976 / 2184 » On Constructive Connectives and Systems |
177
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
163
click to vote
ICMS
2010
15 years 5 months ago
2010
There is a growing interest in numeric-algebraic techniques in the computer algebra community as such techniques can speed up many applications. This paper is concerned with one su...
185
click to vote
ICONIP
2010
2010
A New Framework for Small Sample Size Face Recognition Based on Weighted Multiple Decision Templates
15 years 5 months ago
In this paper a holistic method and a local method based on decision template ensemble are investigated. In addition by combining both methods, a new hybrid method for boosting the...
140
click to vote
IJHCI
2010
15 years 5 months ago
2010
Motivation – Designers make decisions that later influence how users work with the systems that they have designed. When errors occur in use, it is tempting to focus on the acti...
158
click to vote
IJRR
2010
15 years 5 months ago
2010
This paper investigates sequential robotic microassembly for the construction of 3D micro-electro-mechanical systems (MEMS) structures using a 3D visual servoing approach. The pre...