3228 search results - page 425 / 646 » Computationally Sound Proofs |
128
Voted
ACMSE
2006
ACM
15 years 9 months ago
2006
ACM
: There is a growing interest in deployment and evaluation of routing protocols for Vehicular Ad-Hoc Wireless Networks (VANETs) in urban contexts. The mobility model of nodes is on...
122
Voted
JCDL
2006
ACM
15 years 9 months ago
2006
ACM
The Walden’s Paths project is developing tools for leveraging student learning with the incredible amount of educational material on the Web. Specialized templates based on esta...
115
click to vote
SAC
2006
ACM
15 years 9 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
124
Voted
ACSC
2005
IEEE
15 years 9 months ago
2005
IEEE
The data mining inspired problem of finding the critical, and most useful features to be used to classify a data set, and construct rules to predict the class of future examples ...
117
Voted
MM
2005
ACM
15 years 9 months ago
2005
ACM
With the growth of digital music, the development of music recommendation is helpful for users. The existing recommendation approaches are based on the users’ preference on musi...