14577 search results - page 2800 / 2916 » Statistical Language Modelling |
114
Voted
LICS
1991
IEEE
15 years 6 months ago
1991
IEEE
Starting from a logic which speci es how to make deductions from a set of sentences (a ` at theory'), a way to generalise this toa partiallyordered bag ofsentences (a `struct...
127
Voted
REX
1991
15 years 6 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...
113
Voted
AI
2009
Springer
15 years 5 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 ...
93
Voted
FASE
2010
Springer
15 years 5 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...
172
click to vote
EATIS
2009
ACM
15 years 5 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...