6054 search results - page 157 / 1211 » Implementation of Andorra-based Languages |
136
click to vote
FPL
2005
Springer
15 years 11 months ago
2005
Springer
A hardware-accelerated algorithm has been designed to automatically identify the primary languages used in documents transferred over the Internet. The algorithm has been implemen...
199
click to vote
IEAAIE
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
155
click to vote
CICLING
2003
Springer
15 years 11 months ago
2003
Springer
Finite-state processing is typically based on structures that allow for efficient indexing and sequential search. However, this “rigid” framework has several disadvantages when...
136
click to vote
TACAS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
147
click to vote
POPL
1996
ACM
15 years 10 months ago
1996
ACM
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...