1287 search results - page 93 / 258 » Unnatural language detection |
272
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
156
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
145
click to vote
NLDB
2010
Springer
15 years 10 months ago
2010
Springer
Analysis of blogpost writings is an important and growing research area. Both objective and subjective characteristics of a writer are detected. Words have word meaning that is com...
119
click to vote
FLAIRS
2007
15 years 8 months ago
2007
The paper describes a method of dividing complex sentences into segments, easily detectable and linguistically motivated units, which may provide a basis for further processing of...
185
click to vote
FIW
2003
15 years 7 months ago
2003
New voice services are investigated in the fields of Internet telephony (SIP – Session Initiation Protocol) and interactive voice systems (VoiceXML – Voice Extended Markup La...