Sciweavers

3108 search results - page 251 / 622
» The Elements of Computer Credibility
Sort
View
JSCIC
2010
101views more  JSCIC 2010»
15 years 1 months ago
Boundary-Conforming Discontinuous Galerkin Methods via Extensions from Subdomains
A new way of devising numerical methods is introduced whose distinctive feature is the computation of a finite element approximation only in a polyhedral subdomain D of the origina...
Bernardo Cockburn, Deepa Gupta, Fernando Reitich
MOC
2010
15 years 1 months ago
Analysis of a finite PML approximation to the three dimensional elastic wave scattering problem
We consider the application of a perfectly matched layer (PML) technique to approximate solutions to the elastic wave scattering problem in the frequency domain. The PML is viewed ...
James H. Bramble, Joseph E. Pasciak, Dimitar Trene...
FGR
2011
IEEE
201views Biometrics» more  FGR 2011»
14 years 10 months ago
Tangent bundle for human action recognition
— Common human actions are instantly recognizable by people and increasingly machines need to understand this language if they are to engage smoothly with people. Here we introdu...
Yui Man Lui, J. Ross Beveridge
ICSE
2011
IEEE-ACM
14 years 10 months ago
Inference of field initialization
A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often ma...
Fausto Spoto, Michael D. Ernst
NAR
2011
204views Computer Vision» more  NAR 2011»
14 years 9 months ago
CLIPZ: a database and analysis environment for experimentally determined binding sites of RNA-binding proteins
The stability, localization and translation rate of mRNAs are regulated by a multitude of RNAbinding proteins (RBPs) that find their targets directly or with the help of guide RNA...
Mohsen Khorshid, Christoph Rodak, Mihaela Zavolan