4126 search results - page 558 / 826 » Set based logic programming |
141
Voted
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
133
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
We present a method for real-time 3D object detection
that does not require a time consuming training stage, and
can handle untextured objects. At its core, is a novel tem-
plat...
110
Voted
FSKD
2005
Springer
15 years 9 months ago
2005
Springer
A new robust clustering scheme based on fuzzy c-means is proposed and the concept of a fuzzy mega-cluster is introduced in this paper. The fuzzy mega-cluster is conceptually simila...
104
click to vote
FSKD
2005
Springer
15 years 9 months ago
2005
Springer
In linear text classification, user feedback is usually used to tune up the representative keywords (RK) for a certain class. Despite some algorithms (e.g. Rocchio) deal well with...
119
Voted
FSKD
2005
Springer
15 years 9 months ago
2005
Springer
The prediction of epileptic seizures is a very attractive issue for all patients suffering from epilepsy in EEG (electroencephalograph) signals. It can assist to develop an interve...