|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 14 keywords
|
|
|
|
|
Results
Found 44 publication records. Showing 44 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | D. Degras, Zhiwei Xu, Ting Zhang, Wei Biao Wu |
Testing for Parallelism Among Trends in Multiple Time Series.  |
IEEE Transactions on Signal Processing  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei-Luen Patrick Rau, Ting Zhang, Xiaoli Shang, Jia Zhou |
Content relevance and delivery time of SMS advertising. |
IJMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Cai, Ting Zhang |
Tight Upper Bounds for Streett and Parity Complementation |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yang Cai, Ting Zhang |
A Tight Lower Bound for Streett Complementation |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yang Cai, Ting Zhang |
Can Nondeterminism Help Complementation? |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Lihui Ma, Wenping Xin, Meng Dong, Jian Geng, Ting Zhang |
The innovative design of moxibustion apparatus. |
BMEI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Zhang, Rui Liu, Zhirong Zheng, Yuelong Chi |
Mine environmental monitoring and evaluation using RS&GIS in Chongqing. |
ICSDM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wentao Gu, Ting Zhang, Hiroya Fujisaki |
Prosodic Analysis and Perception of Mandarin Utterances Conveying Attitudes. |
INTERSPEECH |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yang Cai, Ting Zhang |
Tight Upper Bounds for Streett and Parity Complementation. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Cai, Ting Zhang |
A Tight Lower Bound for Streett Complementation. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Yao, Ting Zhang, Changjiang Zhu |
Existence and Asymptotic Behavior of Global Weak Solutions to a 2D Viscous Liquid-Gas Two-Phase Flow Model. |
SIAM J. Math. Analysis |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Zhang, Pei-Luen Patrick Rau, Gavriel Salvendy |
Exploring critical usability factors for handsets. |
Behaviour & IT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Zhang, Minghui Jiang 0002, Zhengwen Tu |
Properties of Periodic Solutions for Common Logistic Model with Discrete and Distributed Delay. |
ISNN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Zhang, Yi Du |
A Novel Method for Information Prediction. |
ICSAP |
2010 |
DBLP DOI BibTeX RDF |
multiple-point geostatistics, continuous variable, predict, interpolation, filter |
| 1 | Ting Zhang, Minghui Jiang 0002, Bin Huang |
Positive Periodic Solutions of Nonautonomous Lotka-Volterra Dispersal System with Delays. |
LSMS/ICSEE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengxuan Zhao, Pei-Luen Patrick Rau, Ting Zhang, Gavriel Salvendy |
Visual search-based design and evaluation of screen magnifiers for older and visually impaired users. |
Int. J. Hum.-Comput. Stud. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Zhang, Daoyuan Fang |
Compressible Flows with a Density-Dependent Viscosity Coefficient. |
SIAM J. Math. Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Zhang, Zhenyong Chen, Yuanxin Ouyang, Jiuyue Hao, Zhang Xiong |
An Improved RFID-Based Locating Algorithm by Eliminating Diversity of Active Tags for Indoor Environment. |
Comput. J. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shijie Dai, Shu-mei Xiao, He Huang, Ting Zhang, Gang Ren |
Sliding Model Fuzzy Control for a Bridge Crane. |
ICFIE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Cai, Ting Zhang, Haifeng Luo |
An Improved Lower Bound for the Complementation of Rabin Automata. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingjun Wei, Ting Zhang, Daoyuan Fang |
Global Behavior of Spherically Symmetric Navier-Stokes Equations with Degenerate Viscosity Coefficients. |
SIAM J. Math. Analysis |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Zhang, Yuanxin Ouyang, Yang He |
Traceable Air Baggage Handling System Based on RFID Tags in the Airport. |
JTAER |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yuanxin Ouyang, Qiao Ren, Ting Zhang, Jiuyue Hao, Zhang Xiong |
RFIDPROBUS: A universal RFID reader communication protocol. |
ICDE Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Minghu Zhang, Jian Shi, Ting Zhang, Yong Hu |
Hard Real-Time Communication over Multi-hop Switched Ethernet. |
NAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingjing Liu, Yan Peng, Ting Zhang |
The Application of Bayesian Network in the Performance Evaluation and Decision-making System. |
ICNSC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Zhang, Detang Lu, Daolun Li |
A Statistical Information Reconstruction Method of Images Based on Multiple-Point Geostatistics Integrating Soft Data with Hard Data. |
ISCSCT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Zhang, Bican Xia |
A New Method for Real Root Isolation of Univariate Polynomials. |
Mathematics in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
Real root isolation, interval Newton operator, bisection method, Maple, interval arithmetic |
| 1 | Zohar Manna, Henny B. Sipma, Ting Zhang |
Verifying Balanced Trees. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Zhang, Pei-Luen Patrick Rau, Gavriel Salvendy |
Developing Instrument for Handset Usability Evaluation: A Survey Study. |
HCI |
2007 |
DBLP DOI BibTeX RDF |
Usability factors, Usability, Survey, Instrument, Usability measurements, Handset |
| 1 | Ting Zhang, Yuanxin Ouyang, Yang He, Zhang Xiong, Zhenyong Chen |
Case Study of Human Computer Interaction Based on RFID and Context-Awareness in Ubiquitous Computing Environments. |
HCI |
2007 |
DBLP DOI BibTeX RDF |
Human Computer Interaction, Ubiquitous Computing, Context, RFID |
| 1 | Ting Zhang, Henny B. Sipma, Zohar Manna |
Decision procedures for term algebras with integer constraints. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bican Xia, Ting Zhang |
Real solution isolation using interval arithmetic. |
Computers & Mathematics with Applications |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigori Mints, Ting Zhang |
A proof of topological completeness for S4 in (0, 1). |
Ann. Pure Appl. Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigori Mints, Ting Zhang |
Propositional logic of continuous transformations in Cantor space. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Zhang, Henny B. Sipma, Zohar Manna |
The Decidability of the First-Order Theory of Knuth-Bendix Order. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Gao, Zheng Wang, Ting Zhang |
Online Internet Traffic Prediction Models Based on MMSE. |
ICCNMC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Zhang, Henny B. Sipma, Zohar Manna |
Decision Procedures for Queues with Integer Constraints. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Zhang, Henny B. Sipma, Zohar Manna |
Decision Procedures for Recursive Data Structures with Integer Constraints. |
IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Zhang, Henny B. Sipma, Zohar Manna |
Term Algebras with Length Function and Bounded Quantifier Alternation. |
TPHOLs |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna |
Event Correlation: Language and Semantics. |
EMSOFT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangwei Kong, Rufeng Chu, Xiaohui Ba, Ting Zhang, Deli Yang |
A Perception Evaluation Scheme for Steganography. |
IDEAL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangwei Kong, Ting Zhang, Xingang You, Deli Yang |
A New Steganalysis Approach Based on Both Complexity Estimate and Statistical Filter. |
IEEE Pacific Rim Conference on Multimedia |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Martin, Ralf Seepold, Ting Zhang, Luca Benini, Giovanni De Micheli |
Component selection and matching for IP-based design. |
DATE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Browne, Henny Sipma, Ting Zhang |
Linking STeP with SPIN. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #44 of 44 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")