6016 search results - page 1030 / 1204 » The semantics of graphical languages |
150
click to vote
POPL
2012
ACM
14 years 7 days ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
169
click to vote
POPL
2012
ACM
14 years 7 days ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
136
click to vote
WWW
2001
ACM
16 years 5 months ago
2001
ACM
We describe a new paradigm for performing search in context. In the IntelliZap system we developed, search is initiated from a text query marked by the user in a document she view...
154
Voted
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
RDF is a data model for representing labeled directed graphs, and it is used as an important building block of semantic web. Due to its flexibility and applicability, RDF has bee...
174
Voted
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In knowledge bases, the open world assumption and the ability to express variables may lead to an answer redundancy problem. This problem occurs when the returned answers...