Sciweavers

4856 search results - page 412 / 972
» Concept formation in design
Sort
View
DLOG
2007
15 years 9 months ago
Blocking Automata for PSPACE DLs
In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as c...
Franz Baader, Jan Hladik, Rafael Peñaloza
AVSS
2008
IEEE
15 years 9 months ago
Annotation Collection and Online Performance Evaluation for Video Surveillance: The ViSOR Project
This paper presents the Visor (VIdeo Surveillance Online Repository) project designed with the aim of establishing an open platform for collecting, annotating, retrieving, sharing...
Roberto Vezzani, Rita Cucchiara
CAINE
2008
15 years 8 months ago
Scripted Artificially Intelligent Basic Online Tactical Simulation
For many years, introductory Computer Science courses have followed the same teaching paradigms. These paradigms utilize only simple console windows; more interactive approaches t...
Jesse D. Phillips, Roger V. Hoang, Joseph D. Mahsm...
ECIR
1998
Springer
15 years 8 months ago
The Relationship between IR and Multimedia Databases
Modern extensible database systems support multimedia data through ADTs. However, because of the problems with multimedia query formulation, this support is not sufficient. Multim...
Arjen P. de Vries, Henk M. Blanken
IANDC
2008
122views more  IANDC 2008»
15 years 7 months ago
Automata can show PSpace results for description logics
In the area of Description Logic (DL), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problem...
Franz Baader, Jan Hladik, Rafael Peñaloza