We present a higher-level visual representation, visual synset, for object categorization. The visual synset improves the traditional bag of words representation with better discr...
Yantao Zheng, Ming Zhao 0003, Shi-Yong Neo, Tat-Se...
An increasing number of databases have become Web accessible through HTML form-based search interfaces. The data units returned from the underlying database are usually encoded in...
Yiyao Lu, Hai He, Hongkun Zhao, Weiyi Meng, Clemen...
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli
With the proliferation of data APIs, it is not uncommon that users who have no clear ideas about data APIs will encounter difficulties to build Mashups to satisfy their requiremen...
Bin Lu, Zhaohui Wu, Yuan Ni, Guo Tong Xie, Chunyin...