Sciweavers

10406 search results - page 2027 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
115
Voted
ENTCS
2006
109views more  ENTCS 2006»
15 years 3 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
KES
2006
Springer
15 years 3 months ago
Integrated Document Browsing and Data Acquisition for Building Large Ontologies
Named entities (e.g., "Kofi Annan", "Coca-Cola", "Second World War") are ubiquitous in web pages and other types of document and often provide a simpl...
Felix Weigel, Klaus U. Schulz, Levin Brunner, Edua...
124
Voted
TOG
2008
120views more  TOG 2008»
15 years 3 months ago
Markerless garment capture
A lot of research has recently focused on the problem of capturing the geometry and motion of garments. Such work usually relies on special markers printed on the fabric to establ...
Derek Bradley, Tiberiu Popa, Alla Sheffer, Wolfgan...
103
Voted
COGSCI
2004
78views more  COGSCI 2004»
15 years 3 months ago
Varieties of sameness: the impact of relational complexity on perceptual comparisons
The fundamental relations that underlie cognitive comparisons--"same" and "different"--can be demultiple levels of abstraction, which vary in relational comple...
James K. Kroger, Keith J. Holyoak, John E. Hummel
85
Voted
MTA
1998
92views more  MTA 1998»
15 years 3 months ago
Dynamic Video Playout Smoothing Method for Multimedia Applications
: Multimedia applications including video data require the smoothing of video playout to prevent potential playout discontinuity.In this paper, we propose a dynamicvideo playout sm...
Maria C. Yuang, Shih T. Liang, Yu G. Chen
« Prev « First page 2027 / 2082 Last » Next »