3353 search results - page 97 / 671 » Laver and set theory |
ICIP
2009
IEEE
15 years 11 months ago
2009
IEEE
A correct video segmentation, namely the detection of moving objects within a scene plays a very important role in many application in safety, surveillance, trafic monitoring and ...
139
click to vote
CADE
2002
Springer
15 years 10 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
CEC
2007
IEEE
15 years 4 months ago
2007
IEEE
— Recent large scale experiments have shown that the Normalized Information Distance, an algorithmic information measure, is among the best similarity metrics for melody classi...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper extends previous research by proposing a model that can help explain ways to motivate member contributions to online communities (OCs). New features in the model will a...
STACS
2005
Springer
15 years 3 months ago
2005
Springer
In property testing, we are given oracle access to a function f, and we wish to test if the function satisfies a given property P, or it is ε-far from having that property. In a...