Sciweavers

1520 search results - page 277 / 304
» Ontologies for User Interface Integration
Sort
View
SPIESR
1996
122views Database» more  SPIESR 1996»
13 years 10 months ago
Retrieval by Content in Symbolic-Image Databases
Two approaches for integrating images into the framework of a database management system are presented. The classi cation approach preprocesses all images and attaches a semantic ...
Aya Soffer, Hanan Samet
AROBOTS
2008
89views more  AROBOTS 2008»
13 years 9 months ago
A multimode navigation system for an assistive robotics project
Assistive technology is an emerging area, where robotic devices can help individuals with motor disabilities to achieve independence in daily activities. This paper deals with a sy...
Andrea Cherubini, Giuseppe Oriolo, Francesco Macr&...
CGF
2008
160views more  CGF 2008»
13 years 9 months ago
iCheat: A Representation for Artistic Control of Indirect Cinematic Lighting
Thanks to an increase in rendering efficiency, indirect illumination has recently begun to be integrated in cinematic lighting design, an application where physical accuracy is le...
Juraj Obert, Jaroslav Krivánek, Fabio Pella...
ENVSOFT
2006
117views more  ENVSOFT 2006»
13 years 9 months ago
Land information system: An interoperable framework for high resolution land surface modeling
Knowledge of land surface water, energy, and carbon conditions are of critical importance due to their impact on many real world applications such as agricultural production, wate...
Sujay V. Kumar, Christa D. Peters-Lidard, Yudong T...
JAR
2006
103views more  JAR 2006»
13 years 9 months ago
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
Panagiotis Manolios, Sudarshan K. Srinivasan