4814 search results - page 566 / 963 » Combining abstract interpreters |
180
click to vote
ISCAS
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract— This paper presents an analog implementation of the complex wavelet transform using both the complex first order system (CFOS) and the Pad´e approximation. The comple...
197
click to vote
AMR
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Although many different types of technologies for information systems have evolved over the last decades (such as databases, video systems, the Internet and mobile telec...
167
click to vote
AMS
2005
Springer
16 years 11 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 ...
146
click to vote
ATVA
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transit...
163
click to vote
CICLING
2005
Springer
16 years 10 days ago
2005
Springer
This paper presents the design and development of a system for the detection and correction of syntactic errors in free texts. The system is composed of three main modules: a) a ro...