Sciweavers

10406 search results - page 320 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
CC
2005
Springer
115views System Software» more  CC 2005»
15 years 10 months ago
Hob: A Tool for Verifying Data Structure Consistency
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
Patrick Lam, Viktor Kuncak, Martin C. Rinard
ACCV
2010
Springer
15 years 5 months ago
Abstraction and Generalization of 3D structure for recognition in large intra-class variation
Humans have abstract models for object classes which helps recognize previously unseen instances, despite large intra-class variations. Also objects are grouped into classes based...
Gowri Somanath, Chandra Kambhamettu
ICICIC
2006
IEEE
15 years 10 months ago
Sensing and Control for Geometry Stability of the Melt Pool and the Cross Sectional Area in Laser Cladding
The accurate control of process parameters is particularly important for the growth of high quality structures during laser cladding. Melt pool size and cross sectional area are k...
Liangliang Nan, Weijun Liu
JDCTA
2008
128views more  JDCTA 2008»
15 years 4 months ago
Specifying a WS-ECA Working Framework for Ubiquitous Web Services in Object-Process Methodology
The Web Services-Event-Condition-Action (WSECA) framework is designed to enable the heterogeneous communication devices in Ubiquitous Computing Environments to achieve inter-opera...
Haining Lee, Jaeil Park, Peom Park, Dongmin Shin
MMS
2008
15 years 4 months ago
Canonical processes in active reading and hypervideo production
Active reading of audiovisual documents is an iterative activity, dedicated to the analysis of the audiovisual source through its enrichment with structured metadata and the defin...
Olivier Aubert, Pierre-Antoine Champin, Yannick Pr...