2233 search results - page 282 / 447 » Modular type classes |
197
click to vote
CISIS
2008
IEEE
16 years 27 days ago
2008
IEEE
Shadows are well known as a programming language feature in the application area of MUDs (a certain type of multi-player online game). We argue that agile methodologies can be enh...
194
click to vote
CISS
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract— We consider a joint randomized scheduling, congestion control mechanism for general wireless networks. We allow for a set of imperfections in the operation of the rando...
159
click to vote
ICMCS
2008
IEEE
16 years 26 days 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...
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...