2525 search results - page 47 / 505 » A Framework for Semantic Gossiping |
ICECCS
2007
IEEE
15 years 6 months ago
2007
IEEE
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry...
95
Voted
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...
97
Voted
COLING
2000
15 years 1 months ago
2000
Most of the studies in the framework of Lambek calculus have considered the parsing process and ignored the generation process. This paper wants to rely on the close link between ...
142
click to vote
BMCBI
2011
14 years 4 months ago
2011
Background: The ability to search for and precisely compare similar phenotypic appearances within and across species has vast potential in plant science and genetic research. The ...
103
click to vote
IANDC
1998
15 years 6 days ago
1998
We set up a formal framework to describe transition system specifications in the style of Plotkin. This framework has the power to express many-sortedness, general binding mechan...