Sciweavers

11017 search results - page 373 / 2204
» Closure Systems and their Structure
Sort
View
CLEF
2003
Springer
16 years 2 days ago
Spoken Document Retrieval Experiments with IR-n System
This paper describes the first participation of IR-n system at Spoken Document Retrieval, focusing on the experiments we made before participation and showing the results we obta...
Fernando Llopis, Patricio Martínez-Barco
ICARCV
2002
IEEE
121views Robotics» more  ICARCV 2002»
15 years 11 months ago
CIRES: a system for content-based retrieval in digital image libraries
This papers presents CIRES, a new online system for content-based retrieval in digital image libraries. Contentbased image retrieval systems have traditionally used color and text...
Qasim Iqbal, Jake K. Aggarwal
BIRTHDAY
2008
Springer
15 years 8 months ago
Unfolding Graph Transformation Systems: Theory and Applications to Verification
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
Paolo Baldan, Andrea Corradini, Barbara König
DGO
2003
107views Education» more  DGO 2003»
15 years 8 months ago
Implementation of A Coastal Decision Making System Using Internet and Wireless Technologies
This paper presents results of a coastal decision making system that utilizes the following tools: Internet, wireless technology, and Geographic Information Systems (GIS). The dev...
Xutong Niu, Tarig Ali, Ruijin Ma, Ahmed Elaksher, ...
JELIA
2004
Springer
16 years 6 days ago
A System with Template Answer Set Programs
Abstract. Although ASP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like capabilities of quickly in...
Francesco Calimeri, Giovambattista Ianni, Giuseppe...