Sciweavers

72 search results - page 3 / 15
» cai 2009
Sort
View
95
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
Api hyperlinking via structural overlap
Fan Long, Xi Wang, Yang Cai
APLAS
2009
ACM
15 years 10 months ago
Weak updates and separation logic
Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai
94
Voted
ATAL
2009
Springer
15 years 10 months ago
Emotional agent in serious game (DINO)
H. L. Zhang, Z. Shen, X. Tao, C. Y. Miao, B. Li, A...
CAI
2009
Springer
15 years 10 months ago
A Backward and a Forward Simulation for Weighted Tree Automata
Two types of simulations for weighted tree automata (wta) are considered. Wta process trees and assign a weight to each of them. The weights are taken from a semiring. The two type...
Andreas Maletti