Sciweavers

5578 search results - page 655 / 1116
» Base Class Injection
Sort
View
ECCV
2004
Springer
16 years 8 days ago
Novelty Detection in Image Sequences with Dynamic Background
Abstract. We propose a new scheme for novelty detection in image sequences capable of handling non-stationary background scenarious, such as waving trees, rain and snow. Novelty de...
Fredrik Kahl, Richard I. Hartley, Volker Hilsenste...
FSTTCS
2004
Springer
16 years 8 days ago
Join Algorithms for the Theory of Uninterpreted Functions
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
Sumit Gulwani, Ashish Tiwari, George C. Necula
ITS
2004
Springer
108views Multimedia» more  ITS 2004»
16 years 7 days ago
Harnessing P2P Power in the Classroom
We have implemented a novel peer-to-peer based environment called Comtella, which allows students to contribute and share class-related resources. This system has been implemented ...
Julita Vassileva
KR
2004
Springer
16 years 7 days ago
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
Volker Haarslev, Ralf Möller
LPAR
2004
Springer
16 years 7 days ago
Uniform Rules and Dialogue Games for Fuzzy Logics
Abstract. We provide uniform and invertible logical rules in a framework of relational hypersequents for the three fundamental t-norm based fuzzy logics i.e., Łukasiewicz logic, G...
Agata Ciabattoni, Christian G. Fermüller, Geo...