Sciweavers

3061 search results - page 486 / 613
» integration 2006
Sort
View
ACSD
2006
IEEE
89views Hardware» more  ACSD 2006»
14 years 28 days ago
On process-algebraic verification of asynchronous circuits
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...
Xu Wang, Marta Z. Kwiatkowska
AICT
2006
IEEE
135views Communications» more  AICT 2006»
14 years 28 days ago
Improving Web Performance through New Networking Technologies
New connection-oriented networking technologies can provide quality-of-service guaranteed network connectivity required by some web-based applications. In this paper, we present a...
Xiuduan Fang, Xuan Zheng, Malathi Veeraraghavan
AMDO
2006
Springer
14 years 28 days ago
Predicting 3D People from 2D Pictures
Abstract. We propose a hierarchical process for inferring the 3D pose of a person from monocular images. First we infer a learned view-based 2D body model from a single image using...
Leonid Sigal, Michael J. Black
APWEB
2006
Springer
14 years 27 days ago
LocalRank: A Prototype for Ranking Web Pages with Database Considering Geographical Locality
In this demo, we present a method called LocalRank to rank web pages. Our method integrates the web and a local user database with semantic links including geographical ones. We fi...
Jianwei Zhang 0002, Yoshiharu Ishikawa, Sayumi Kur...
APWEB
2006
Springer
14 years 27 days ago
Providing an Uncertainty Reasoning Service for Semantic Web Application
In the semantic web context,the formal representation of knowledge is not resourceful while the informal one with uncertainty prevails. In order to provide an uncertainty reasoning...
Lei Li, Qiaoling Liu, Yunfeng Tao, Lei Zhang, Jian...