3948 search results - page 667 / 790 » Integration Workbench: Integrating Schema Integration Tools |
189
click to vote
MOC
2011
15 years 1 months ago
2011
We propose and analyze a finite element method for a semi– stationary Stokes system modeling compressible fluid flow subject to a Navier– slip boundary condition. The veloci...
231
click to vote
SCN
2011
Springer
15 years 1 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
165
click to vote
SIAMNUM
2011
15 years 1 months ago
2011
In this paper we prove the discrete compactness property for a wide class of p finite element approximations of non-elliptic variational eigenvalue problems in two and three spac...
186
click to vote
IEEEVAST
2010
15 years 1 months ago
2010
Modern machine learning techniques provide robust approaches for data-driven modeling and critical information extraction, while human experts hold the advantage of possessing hig...
200
click to vote
JDCTA
2010
15 years 1 months ago
2010
Natural and friendly interface is critical for the development of service robots. Gesture-based interface offers a way to enable untrained users to interact with robots more easil...