17450 search results - page 3353 / 3490 » Numerical Methods with Applications |
159
click to vote
ISSTA
2009
ACM
16 years 28 days ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
161
click to vote
IWCMC
2009
ACM
16 years 28 days ago
2009
ACM
The IEEE 802.16/WiMAX standards has fully embraced multi-antenna technology and can, thus, deliver robust performance and high transmission rates. Nevertheless, due to its inheren...
154
click to vote
KCAP
2009
ACM
16 years 28 days ago
2009
ACM
This demo presents the Cupboard online system for sharing and reusing ontologies linked together with alignments, and that are attached to rich metadata and reviews. Categories an...
197
click to vote
PETRA
2009
ACM
16 years 28 days ago
2009
ACM
Event search is the problem of identifying events or activity of interest in a large database storing long sequences of activity. In this paper, our topic is the problem of identi...
195
click to vote
RECSYS
2009
ACM
16 years 28 days ago
2009
ACM
With the exponential growth of Web contents, Recommender System has become indispensable for discovering new information that might interest Web users. Despite their success in th...