Sciweavers

6014 search results - page 771 / 1203
» Parametric Analysis of Computer Systems
Sort
View
COMPSAC
2007
IEEE
16 years 1 months ago
An Automatic Connector Generation Method for Dynamic Architecture
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...
Yiming Yang, Xin Peng, Wenyun Zhao
WACV
2007
IEEE
16 years 1 months ago
Video-based Metrology of Water Droplet Spreading on Nanostructured Surfaces
Dynamic wettability of a nanostructured surface is an important property for many liquid-related applications of nanostructures. The dynamic wettability analysis is performed by m...
Samuel Cheng, Xingzhi Luo, Suchendra M. Bhandarkar...
IBPRIA
2007
Springer
16 years 29 days ago
Region-Based Pose Tracking
Abstract. This paper introduces a technique for region-based pose tracking without the need to explicitly compute contours. We assume a surface model of a rigid object and at least...
Christian Schmaltz, Bodo Rosenhahn, Thomas Brox, D...
ICA3PP
2007
Springer
16 years 29 days ago
RSM-Based Gossip on P2P Network
Classification is a kind of basic semantics that people often use to manage versatile contents in daily life. Resource Space Model (RSM) is a semantic model for sharing and managin...
Hai Zhuge, Xiang Li
SARA
2007
Springer
16 years 28 days ago
Extensional Reasoning
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
Timothy L. Hinrichs