6343 search results - page 446 / 1269 » Development of a Cartographic Language |
141
click to vote
ACMSE
2006
ACM
16 years 23 days ago
2006
ACM
Classic results in the theory of regular languages show that the problem of converting an NFA (nondeterministic finite automaton) into a minimal equivalent NFA is NP-hard, even f...
253
click to vote
IWRIDL
2006
ACM
16 years 22 days ago
2006
ACM
The importance of evaluation in promoting research and development in the information retrieval and natural language processing domains has long been recognised but is this suffic...
178
click to vote
POPL
2005
ACM
16 years 10 days ago
2005
ACM
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...
171
click to vote
AMS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The implementation of high-performance robot controllers for complex control tasks such as playing autonomous robot soccer is tedious, errorprone, and a never ending prog...
161
click to vote
ECWEB
2005
Springer
16 years 9 days ago
2005
Springer
Many approaches have been developed for modeling the functional aspects of Web applications, but there is a lack of a modeling language for their architectural concerns. This paper...