Sciweavers

1502 search results - page 117 / 301
» The new face of war
Sort
View
SIAMNUM
2011
108views more  SIAMNUM 2011»
14 years 7 months ago
A Mixed Method for the Biharmonic Problem Based On a System of First-Order Equations
We introduce a new mixed method for the biharmonic problem. The method is based on a formulation where the biharmonic problem is re-written as a system of four first-order equatio...
Edwin M. Behrens, Johnny Guzmán
EDOC
2011
IEEE
14 years 15 days ago
Value-Based Service Bundling: A Customer-Supplier Approach
Abstract—Due to future ubiquitous service environments, approaches for dynamic delivery of services face new challenges. Since the web 2.0 gave to customers the change to interac...
Iván S. Razo-Zapata, Pieter De Leenheer, Ja...
FM
2008
Springer
137views Formal Methods» more  FM 2008»
15 years 2 months ago
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
Patrice Chalin, Frédéric Rioux
81
Voted
CVPR
2003
IEEE
16 years 2 months ago
Kullback-Leibler Boosting
In this paper, we develop a general classification framework called Kullback-Leibler Boosting, or KLBoosting. KLBoosting has following properties. First, classification is based o...
Ce Liu, Heung-Yeung Shum
CVPR
2004
IEEE
16 years 2 months ago
Generalized Quotient Image
In this paper, we present a unified framework for modeling intrinsic properties of face images for recognition. It is based on the quotient image (QI) concept, in particular on th...
Haitao Wang, Stan Z. Li, Yangsheng Wang