Sciweavers

9145 search results - page 383 / 1829
» Description Logic Systems
Sort
View
LOPSTR
1997
Springer
15 years 11 months ago
Implicit Program Synthesis by a Reversible Metainterpreter
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
Henning Christiansen
166
Voted
CLIMA
2007
15 years 8 months ago
EVOLP: Tranformation-Based Semantics
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
Martin Slota, João Leite
ICMCS
2006
IEEE
181views Multimedia» more  ICMCS 2006»
16 years 26 days ago
Human Object Tracking Algorithm with Human Color Structure Descriptor for Video Surveillance Systems
Segmentation, tracking, and description extraction are important operations in smart camera surveillance systems. In this paper, a robust segmentation-and-descriptor based trackin...
Shao-Yi Chien, Wei-Kai Chan, Der-Chun Cherng, Jing...
ERCIMDL
1999
Springer
121views Education» more  ERCIMDL 1999»
15 years 11 months ago
An Indexing, Browsing, Search and Retrieval System for Audiovisual Libraries
This paper describes an application which enables the computer-assisted generation of Dublin Core-based metadata descriptions and online digital visual summaries for videos. It is...
Jane Hunter, Jan Newmarch
SIAMSC
2008
125views more  SIAMSC 2008»
15 years 6 months ago
Hybrid Simulations of Reaction-Diffusion Systems in Porous Media
Abstract. Hybrid or multiphysics algorithms provide an efficient computational tool for combining micro- and macroscale descriptions of physical phenomena. Their use becomes impera...
Alexandre M. Tartakovsky, Daniel M. Tartakovsky, T...