6618 search results - page 972 / 1324 » Natural Logic for Natural Language |
193
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
Whilst techniques for narrative generation and agent behaviour have made significant progress in recent years, natural language processing remains a bottleneck hampering the scala...
187
click to vote
CCA
2009
Springer
16 years 2 months ago
2009
Springer
In this note we discuss the information needed to compute the homology groups of a topological space. We argue that the natural class of spaces to consider are the compact absolut...
198
click to vote
DALT
2009
Springer
16 years 2 months ago
2009
Springer
What distinguishes multiagent systems from other software systems is their emphasis on the interactions among autonomous, heterogeneous agents. This paper motivates and characteriz...
182
click to vote
FM
2009
Springer
16 years 2 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
172
click to vote
FM
2009
Springer
16 years 2 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...