8828 search results - page 180 / 1766 » Formal methods in practice |
127
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
125
click to vote
ICDCS
2005
IEEE
15 years 10 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
138
click to vote
EKAW
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
105
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The dichotic method of hearing sound adapts in the region of musical harmony. The algorithm of the separation of the being dissonant voices into several separate groups is propose...
200
click to vote
MICCAI
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. Transmission Ultrasound Computed Tomography (CT) is strongly affected by the acoustic refraction properties of the imaged tissue, and proper modeling and correction of th...