|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 16 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Haipeng Zhang, Ruisheng Qi, Liang Zhang, Buchun Su, Dejun Wang |
Vertical Gate RF SOI LIGBT for SPICs with Significantly Improved Latch-Up Immunity.  |
VLSI Design  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Meng, Wei Huang, Dejun Wang |
Automatic Verification of Remote Internet Voting Protocol in Symbolic Model. |
JNW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaohui Xu, Linpeng Huang, Dejun Wang, Jun-Qing Chen |
A Calculus of Consistent Component-based Software Updates |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Bo Meng, Wei Huang, Zimao Li, Dejun Wang |
Automatic Verification of Security Properties in Remote Internet Voting Protocol with Applied Pi Calculus. |
JDCTA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ruonan Rao, Jiankun Wu, Dejun Wang, Linpeng Huang |
Transaction of Service Composition in Pervasive Computing and Its Correctness Analysis Based on ASM. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiankun Wu, Linpeng Huang, Dejun Wang |
ASM-based model of dynamic service update in OSGi. |
ACM SIGSOFT Software Engineering Notes |
2008 |
DBLP DOI BibTeX RDF |
verification, component, OSGi, dynamic updating, ASM |
| 1 | Hailin Jin, Daniel Cremers, Dejun Wang, Emmanuel Prados, Anthony J. Yezzi, Stefano Soatto |
3-D Reconstruction of Shaded Objects from Multiple Images Under Unknown Illumination. |
International Journal of Computer Vision |
2008 |
DBLP DOI BibTeX RDF |
Stereoscopic segmentation, Variational 3D reconstruction, Lighting and appearance reconstruction, Level set methods, Shape from shading, Multi-view stereo |
| 1 | Dejun Wang, Linpeng Huang, Jiankun Wu, Xiaohui Xu |
Dynamic Software Upgrading for Distributed System Based on R-OSGI. |
CSSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiankun Wu, Linpeng Huang, Dejun Wang |
Research on Dynamic Updating of Grid Service. |
International Conference on Computational Science |
2007 |
DBLP DOI BibTeX RDF |
Proxy service, Simulation service, Grid service, Dynamic updating |
| 1 | Xiaohui Xu, Linpeng Huang, Dejun Wang |
Supporting Dynamic Updates of Componentized Service. |
IEEE SCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiankun Wu, Linpeng Huang, Jian Cao, Minglu Li, Dejun Wang, Mingwen Wang |
Research on Modeling of Complicate Traffic Simulation System. |
HCI |
2007 |
DBLP DOI BibTeX RDF |
Agent, Cellular automata, Complexity system, Traffic simulation, HLA/RTI |
| 1 | Dejun Wang, Linpeng Huang, Qinglei Zhang |
A Workflow-Oriented Scripting Language Based on BPEL4WS. |
APWeb Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dejun Wang, Jiali Zhao, Seok-Cheol Kee, Zesheng Tang |
Level Set Methods, Distance Function and Image Segmentation. |
ICPR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiali Zhao, Yong Su, Dejun Wang, Siwei Luo |
Illumination ratio image: synthesizing and recognition with varying illuminations. |
Pattern Recognition Letters |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongchuan Yu, Dejun Wang, Zesheng Tang |
Level Set Methods and Image Segmentation. |
MIAR |
2001 |
DBLP DOI BibTeX RDF |
Existence and uniqueness, Image segmentation, Level set methods, Distance function |
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")