596 search results - page 49 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
174
click to vote
SAC
2000
ACM
15 years 9 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
155
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we describe a modular software that allows fast development of eye-in-hand image-based visual servoing applications (ViSP states for "Visual Servoing Platform&...
172
click to vote
LREC
2008
15 years 7 months ago
2008
Combinatorial Category Grammar is (CCG) a lexicalized grammar formalism which is expressed by syntactic category, a logical form representation. There are difficulties in represen...
163
click to vote
ENTCS
2002
15 years 5 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
168
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
3D medical images produced in health centers represent tremendous amounts of data spread over different places. Automatic processing of these data often allow quantitative and rep...