Sciweavers

77 search results - page 2 / 16
» cai 2005
Sort
View
BIOINFORMATICS
2005
137views more  BIOINFORMATICS 2005»
13 years 5 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»
14 years 5 months ago
Personal information management with SEMEX
Yuhan Cai, Xin Luna Dong, Alon Y. Halevy, Jing Mic...
CAI
2005
Springer
13 years 5 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
DAC
2005
ACM
14 years 6 months ago
Navigating registers in placement for clock network minimization
Yongqiang Lu, Cliff C. N. Sze, Xianlong Hong, Qian...
ICCSA
2005
Springer
13 years 11 months ago
Middleware Development for Remote Sensing Data Sharing and Image Processing on HIT-SIP System
Jianqin Wang, Yong Xue, Chaolin Wu, Yanguang Wang,...