Sciweavers

748 search results - page 128 / 150
» Time and Probability in Process Algebra
Sort
View
SMA
2008
ACM
192views Solid Modeling» more  SMA 2008»
13 years 7 months ago
Identification of sections from engineering drawings based on evidence theory
View identification is the basal process for solid reconstruction from engineering drawings. A new method is presented to label various views from a section-involved drawing and i...
Jie-Hui Gong, Hui Zhang, Bin Jiang, Jia-Guang Sun
JNS
2010
61views more  JNS 2010»
13 years 7 months ago
Validity and Failure of the Boltzmann Approximation of Kinetic Annihilation
This paper introduces a new method to show the validity of a continuum description for the deterministic dynamics of many interacting particles. Here the many particle evolution is...
Karsten Matthies, Florian Theil
EXPERT
2010
145views more  EXPERT 2010»
13 years 5 months ago
Interaction Analysis with a Bayesian Trajectory Model
Human behavior recognition is one of the most important and challenging objectives performed by intelligent vision systems. Several issues must be faced in this domain ranging fro...
Alessio Dore, Carlo S. Regazzoni
ICCAD
2010
IEEE
108views Hardware» more  ICCAD 2010»
13 years 5 months ago
Mathematical yield estimation for two-dimensional-redundancy memory arrays
Defect repair has become a necessary process to enhance the overall yield for memories since manufacturing a natural good memory is difficult in current memory technologies. This ...
Mango Chia-Tso Chao, Ching-Yu Chin, Chen-Wei Lin
FGR
2011
IEEE
384views Biometrics» more  FGR 2011»
13 years 4 hour ago
The computer expression recognition toolbox (CERT)
— We present the Computer Expression Recognition Toolbox (CERT), a software tool for fully automatic real-time facial expression recognition, and officially release it for free ...
Gwen Littlewort, Jacob Whitehill, Tingfan Wu, Ian ...