4460 search results - page 823 / 892 » Formal methods for interactive systems |
JUCS
2002
13 years 7 months ago
2002
: Managing image data in a database system using metadata has been practiced since the last two decades. However, describing an image fully and adequately with metadata is practica...
SCFBM
2008
13 years 7 months ago
2008
Background: As the demands for competency-based education grow, the need for standardsbased tools to allow for publishing and discovery of competency-based learning content is mor...
TMI
2011
13 years 2 months ago
2011
Abstract—Many practical applications require the reconstruction of images from irregularly sampled data. The spline formalism offers an attractive framework for solving this prob...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
High-end parallel systems present a tremendous research challenge on how to best allocate their resources to match dynamic workload characteristics and user habits that are often ...
ICADL
2005
Springer
14 years 1 months ago
2005
Springer
Users of a digital book library system typically interact with the system to search for books by querying on the metadata describing the books or to search for information in the p...