Sciweavers

455 search results - page 48 / 91
» Towards an Extensible Argumentation System
Sort
View
PVLDB
2010
166views more  PVLDB 2010»
13 years 7 months ago
Towards Elastic Transactional Cloud Storage with Range Query Support
Cloud storage is an emerging infrastructure that offers Platforms as a Service (PaaS). On such platforms, storage and compute power are adjusted dynamically, and therefore it is i...
Hoang Tam Vo, Chun Chen, Beng Chin Ooi
FM
2009
Springer
164views Formal Methods» more  FM 2009»
14 years 3 months ago
The Denotational Semantics of slotted-Circus
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
Pawel Gancarski, Andrew Butterfield
ICDE
2007
IEEE
139views Database» more  ICDE 2007»
14 years 3 months ago
Integrating OLAP and Ranking: The Ranking-Cube Methodology
OLAP (On-Line Analytical Processing) and Ranking are currently separate technologies in the database systems. OLAP emphasizes on efficient multidimensional data analysis and ranki...
Dong Xin, Jiawei Han
MM
2009
ACM
260views Multimedia» more  MM 2009»
14 years 3 months ago
Web image mining towards universal age estimator
In this paper, we present an automatic web image mining system towards building a universal human age estimator based on facial information, which is applicable to all ethnic grou...
Bingbing Ni, Zheng Song, Shuicheng Yan
DSD
2010
IEEE
190views Hardware» more  DSD 2010»
13 years 9 months ago
Hardware-Based Speed Up of Face Recognition Towards Real-Time Performance
— Real-time face recognition by computer systems is required in many commercial and security applications because it is the only way to protect privacy and security in the sea of...
I. Sajid, Sotirios G. Ziavras, M. M. Ahmed