7049 search results - page 407 / 1410 » Data Abstraction for CSP-OZ |
169
click to vote
AMS
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. This paper describes the extension of a behaviour-based control system for autonomous outdoor navigation. To perform robust obstacle avoidance the existing stereo vision ...
155
click to vote
AUSAI
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. This note describes a method for computation of non-redundant bases of attribute implications from data tables with fuzzy attributes. Attribute implications are formulas ...
180
click to vote
AVBPA
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. In this paper we show the feasibility of template protecting biometric authentication systems. In particular, we apply template protection schemes to fingerprint data. T...
195
click to vote
FMCO
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
194
click to vote
GCC
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. A hybrid workflow system could be treated as a domain-across infrastructure by incorporating different workflow systems and WfMSs engaged in the complex business processi...