692 search results - page 39 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
108
click to vote
IJCNLP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. A speech act is a linguistic action intended by a speaker. It is important to analyze the speech act for the dialogue understanding system because the speech act of an ut...
CLEF
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
127
click to vote
ACSAC
2005
IEEE
15 years 5 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
DSOM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The complexity of today's large-scale enterprise applications demands system administrators to monitor enormous amounts of metrics, and reconfigure their hardware as...
EWCBR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...