10289 search results - page 57 / 2058 » Standard bases in K |
162
click to vote
ANLP
1992
15 years 7 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...
133
click to vote
ER
2006
Springer
15 years 9 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...
155
click to vote
ICRA
2007
IEEE
16 years 14 days 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...
217
click to vote
FSE
2003
Springer
15 years 11 months 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...
137
click to vote
WSC
2000
15 years 7 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...