1828 search results - page 204 / 366 » First-Class Type Classes |
189
click to vote
TPHOL
2008
IEEE
16 years 24 days 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...
168
click to vote
BROADNETS
2007
IEEE
16 years 23 days 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...
143
click to vote
ICCV
2007
IEEE
16 years 22 days 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...
157
click to vote
ICMCS
2007
IEEE
16 years 22 days 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...
159
click to vote
ICON
2007
IEEE
16 years 22 days ago
2007
IEEE
—IETF ForCES (Forwarding and Control Element Separation) is defining specifications for interfaces and modular resources abstractions in open programmable network equipments. Acc...