3759 search results - page 595 / 752 » Natural language processing of lyrics |
160
click to vote
ATAL
2009
Springer
16 years 28 days 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...
172
click to vote
DALT
2009
Springer
16 years 28 days 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...
148
click to vote
FM
2009
Springer
16 years 28 days 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...
158
click to vote
FM
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
148
click to vote
FM
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...