8874 search results - page 1642 / 1775 » A New Implementation of Automath |
176
click to vote
AUTOID
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we consider the problem of automatically detecting a facial symmetry axis in what we will call a standard human face image (acquired when the subject is looking dir...
147
click to vote
BIBE
2005
IEEE
15 years 10 months ago
2005
IEEE
RNA plays a critical role in mediating every step of cellular information transfer from genes to functional proteins. Pseudoknots are widely occurring structural motifs found in a...
117
click to vote
CLUSTER
2005
IEEE
15 years 10 months ago
2005
IEEE
Cycle-harvesting systems such as Condor have been developed to make desktop machines in a local area (which are often similar to clusters in hardware configuration) available as ...
129
click to vote
EEE
2005
IEEE
15 years 10 months ago
2005
IEEE
Computer-Supported Collaborative Learning (CSCL) is a new learning method that is receiving an increasing amount of attention in Taiwan. With the rapid growth in learning resource...
149
click to vote
EEE
2005
IEEE
15 years 10 months ago
2005
IEEE
UN/CEFACT’s Modelling Methodology (UMM) is used to analyze and design B2B business processes. We extend UMM by a constraint mechanism for adding business environment-specific co...