10289 search results - page 57 / 2058 » Standard bases in K |
182
click to vote
ANLP
1992
15 years 8 months ago
1992
The availability of large files of manuallyreviewed parse trees from the University of Pennsylvania "tree bank", along with a program for comparing system-generated pars...
147
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
The W3C is working on a Recommendation for Web Services Description Language, WSDL 2.0, based on XML. The Working Group is chartered to produce a normative mapping of WSDL into RDF...
172
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper reports the analytical development and preliminary experimental evaluation of a class of exact nonlinear full state model-based observers for underwater vehicle navi...
233
click to vote
FSE
2003
Springer
16 years 2 hour ago
2003
Springer
In this paper, we revisit the security of several message authentication code (MAC) algorithms based on block ciphers, when instantiated with 64-bit block ciphers such as DES. We e...
149
click to vote
WSC
2000
15 years 8 months ago
2000
Designing complex simulation models is a task essentially associated with software engineering. In this paper, the Unified Modeling Language (UML) is used to specify simulation mo...