3568 search results - page 103 / 714 » Type Analysis for JavaScript |
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— This paper discusses the design and current capabilities of a new software tool, dVC, capable of simulating planar systems of bodies experiencing unilateral contacts wi...
ISBI
2007
IEEE
14 years 3 months ago
2007
IEEE
Optical imaging is a powerful technique to map brain function in animals. In this study, we consider in vivo optical imaging of the murine olfactory bulb, using an intrinsic signa...
ISESE
2006
IEEE
14 years 3 months ago
2006
IEEE
The replication of experiments is a key undertaking in SE. Successful replications enable a discipline’s body of knowledge to grow, as the results are added to those of earlier ...
AMFG
2005
IEEE
14 years 2 months ago
2005
IEEE
We present a new framework to represent and analyze dynamic facial motions using a decomposable generative model. In this paper, we consider facial expressions which lie on a one d...
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...