3379 search results - page 89 / 676 » Combinators for Interaction Nets |
155
click to vote
CLEF
2005
Springer
15 years 9 months ago
2005
Springer
A combination of several classifiers using global features for the content description of medical images is proposed. Beside well known texture histogram features, downscaled repr...
139
click to vote
CIARP
2007
Springer
15 years 8 months ago
2007
Springer
The sequential approach to colour texture classification relies on colour histogram clustering before extracting texture features from indexed images. The basic idea of such method...
134
click to vote
WSC
2007
15 years 6 months ago
2007
Agent-based models (ABMs) are powerful in describing structured epidemiological processes involving human behavior and local interaction. The joint behavior of the agents can be v...
135
click to vote
SDM
2003
SIAM
15 years 5 months ago
2003
SIAM
We study the interaction between global and local techniques in data mining. Specifically, we study the collections of frequent sets in clusters produced by a probabilistic clust...
146
click to vote
ENTCS
2006
15 years 4 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...