8337 search results - page 1437 / 1668 » Reasoning With Characteristic Models |
147
click to vote
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
139
Voted
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
133
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
The celebrated PageRank algorithm has proved to be a very effective paradigm for ranking results of web search algorithms. In this paper we refine this basic paradigm to take into...
149
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said ab...
153
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
Many applications in text processing require significant human effort for either labeling large document collections (when learning statistical models) or extrapolating rules from...