1287 search results - page 226 / 258 » Unnatural language detection |
146
click to vote
CL
2002
Springer
15 years 1 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...
115
click to vote
COLING
2002
15 years 1 months ago
2002
We describe a parser for robust and flexible interpretation of user utterances in a multi-modal system for web search in newspaper databases. Users can speak or type, and they can...
115
click to vote
ICFEM
2010
Springer
15 years 15 days ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
140
click to vote
JOT
2010
15 years 12 days ago
2010
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...
115
click to vote
WS
2010
ACM
15 years 9 days ago
2010
ACM
For the development of practical semantic applications, ontologies are commonly used with rule extensions. Prominent examples of semantic applications are Semantic Wikis, Semantic...