2452 search results - page 243 / 491 » On Reduction of Lagrange Systems |
168
click to vote
ENTCS
2006
15 years 6 months ago
2006
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...
167
click to vote
JNS
2008
15 years 6 months ago
2008
The interaction of two charges moving in R3 in a magnetic field B can be formulated as a Hamiltonian system with six degrees of freedom. Assuming that the magnetic field is uniform...
150
click to vote
GLOBECOM
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--This paper presents a Cross-layer Network Management System (NMS) that allows Service Providers (SPs) to perform cost-effective network resource reservations with their N...
191
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
Vocabulary restrictions in large vocabulary continuous speech recognition (LVCSR) systems mean that out-of-vocabulary (OOV) words are lost in the output. However, OOV words tend t...
211
click to vote
JIDM
2010
15 years 1 months ago
2010
The increasing volume of data stored as XML documents makes fragmentation techniques an alternative to the performance issues in query processing. Fragmented databases are feasible...