Sciweavers

77 search results - page 2 / 16
» cai 2005
Sort
View
78
Voted
BIOINFORMATICS
2005
137views more  BIOINFORMATICS 2005»
15 years 3 months ago
BEST: Binding-site Estimation Suite of Tools
Dongsheng Che, Shane T. Jensen, Liming Cai, Jun S....
SIGMOD
2005
ACM
96views Database» more  SIGMOD 2005»
16 years 3 months ago
Personal information management with SEMEX
Yuhan Cai, Xin Luna Dong, Alon Y. Halevy, Jing Mic...
102
Voted
CAI
2005
Springer
15 years 3 months ago
Behavioural Equivalences on Finite-State Systems are PTIME-hard
The paper shows a logspace-reduction from the boolean circuit value problem which demonstrates that any relation subsuming bisimilarity and being subsumed by trace preorder (i.e.,...
Zdenek Sawa, Petr Jancar
84
Voted
DAC
2005
ACM
16 years 4 months ago
Navigating registers in placement for clock network minimization
Yongqiang Lu, Cliff C. N. Sze, Xianlong Hong, Qian...
107
Voted
ICCSA
2005
Springer
15 years 9 months ago
Middleware Development for Remote Sensing Data Sharing and Image Processing on HIT-SIP System
Jianqin Wang, Yong Xue, Chaolin Wu, Yanguang Wang,...