1463 search results - page 50 / 293 » The State of the Art in Language Modeling |
144
click to vote
FM
1994
Springer
15 years 10 months ago
1994
Springer
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...
174
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
121
click to vote
LICS
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract. We prove that ground reducibility is EXPTIME-complete in the general case. EXPTIME-hardness is proved by encoding the emptiness problem for the intersection of recognizab...
162
click to vote
TAPSOFT
1991
Springer
15 years 9 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
117
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
This paper describes the development of a new model of agent emotion elicitation called Nemesys. It enhances interfaces with emotional and social information. Nemesys is based on ...