9455 search results - page 1770 / 1891 » The Modelling Language Zinc |
144
click to vote
REX
1991
15 years 7 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
127
click to vote
AI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Two novel Natural Language Processing (NLP) classification techniques are applied to the analysis of corporate annual reports in the task of financial forecasting. The ...
108
click to vote
FASE
2010
Springer
15 years 7 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
191
click to vote
EATIS
2009
ACM
15 years 7 months ago
2009
ACM
In this paper, we describe our work in developing an agent based smart house platform using TAOM4E development methodology and the JADE-platform with the Jadex-extension. In order...
142
click to vote
SGP
2007
15 years 6 months ago
2007
A robust statistics approach to curvature estimation on discretely sampled surfaces, namely polygon meshes and point clouds, is presented. The method exhibits accuracy, stability ...