2335 search results - page 285 / 467 » Type Checking Type Classes |
100
Voted
ICMCS
2008
IEEE
15 years 7 months ago
2008
IEEE
This work introduces a novel data mining scheme, spatial pyramid mining, to discover association rules at multiple resolutions in order to identify frequent spatial configuration...
118
click to vote
TPHOL
2008
IEEE
15 years 7 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
102
Voted
BROADNETS
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Encounter-based network is a frequentlydisconnected wireless ad-hoc network requiring immediate neighbors to store and forward aggregated data for information dissemina...
83
Voted
ICCV
2007
IEEE
15 years 7 months ago
2007
IEEE
We address image parsing in the setting of architectural scenes. Our goal is to parse an image into regions of various types such as sky, foliage, buildings, and street. Furthermo...
92
Voted
ICMCS
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we present a framework to analyze and summarize the temporal dynamics within personal blogs. Blog temporal dynamics are difficult to capture using a few class descr...