1750 search results - page 52 / 350 » E-Commerce Development Procedure |
135
click to vote
LPNMR
1993
Springer
15 years 6 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
124
Voted
FGR
2004
IEEE
15 years 6 months ago
2004
IEEE
1 Active Appearance Models (AAM) is very powerful for extracting objects, e.g. faces, from images. It is composed of two parts: the AAM subspace model and the AAM search. While th...
129
Voted
CAV
2008
Springer
15 years 4 months ago
2008
Springer
Hangal et. al. [3] have developed a procedure to check if an instance of the execution of a shared memory multiprocessor program, is consistent with the Total Store Order (TSO) mem...
123
click to vote
ITP
2010
15 years 4 months ago
2010
Influenced by the success of the MIZAR system many declarative proof languages have been developed in the theorem prover community, as declarative proofs are more readable, easier...
141
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Mass spectrometry is an essential technique in proteomics both to identify the proteins of a biological sample and to compare proteomic profiles of different samples. ...