35 search results - page 4 / 7 » Contextual hyperedge replacement |
CORR
2006
Springer
13 years 8 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
HT
2009
ACM
13 years 6 months ago
2009
ACM
In this short note we present a recommendation system for automatic retrieval of broken Web links using an approach based on contextual information. We extract information from th...
CHI
1997
ACM
14 years 22 days ago
1997
ACM
We describe the design, implementation, and pilot study for SenseMaker, an interface for information exploration across heterogeneous sources. We propose supporting the contextdri...
IEEEARES
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Following Mark Weiser’s vision of ubiquitous computing and calm technology, computer systems should run in the background, preferably without the user noticing it at ...
GG
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Adaptive star grammars generalize well-known graph grammar formalisms based on hyperedge and node replacement while retaining, e.g., parseability and the commutativity an...