6054 search results - page 748 / 1211 » Implementation of Andorra-based Languages |
175
click to vote
ECSQARU
2003
Springer
16 years 3 days ago
2003
Springer
In previous papers, we have presented a logic-based framework for merging structured news reports [14, 16, 15]. Structured news reports are XML documents, where the text entries ar...
202
click to vote
FM
2003
Springer
16 years 3 days ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
196
click to vote
ICFEM
2003
Springer
16 years 3 days ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
197
click to vote
ICVS
2003
Springer
16 years 3 days ago
2003
Springer
We propose a method to construct computer vision systems using a workbench composed of a multi-faceted toolbox and a general purpose kernel. The toolbox is composed of an open set ...
178
click to vote
SAC
2010
ACM
16 years 15 hour ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...