3948 search results - page 667 / 790 » Integration Workbench: Integrating Schema Integration Tools |
217
click to vote
MOC
2011
15 years 2 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...
271
Voted
SCN
2011
Springer
15 years 2 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...
184
click to vote
SIAMNUM
2011
15 years 2 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...
218
click to vote
IEEEVAST
2010
15 years 2 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...
227
Voted
JDCTA
2010
15 years 2 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...