Sciweavers

3816 search results - page 133 / 764
» Characteristic relational patterns
Sort
View
265
Voted
POPL
2009
ACM
16 years 5 months ago
Focusing on pattern matching
In this paper, we show how pattern matching can be seen to arise from a proof term assignment for the focused sequent calculus. This use of the Curry-Howard correspondence allows ...
Neelakantan R. Krishnaswami
IV
2008
IEEE
107views Visualization» more  IV 2008»
15 years 11 months ago
Design Patterns for Rapid Visualization Prototyping
In this paper we present three software design patterns for rapid prototyping of information visualization applications. The first pattern describes a mapping of object oriented ...
Mark Giereth, Thomas Ertl
105
Voted
TOOLS
2008
IEEE
15 years 11 months ago
A Multiparadigm Study of Crosscutting Modularity in Design Patterns
Abstract. Design patterns provide solutions to recurring design problems in object-oriented programming. Design patterns typically crosscut class boundaries so previous work aimed ...
Martin Kuhlemann, Sven Apel, Marko Rosenmülle...
ICCI
1993
15 years 9 months ago
Pattern Matching for Case Analysis: A Computational Definition of Closeness
We propose a conceptually and technically neat method to identify known semantic patterns close to a novel pattern. This occurs in the context of a system to acquire knowledge inc...
Sylvain Delisle, Terry Copeck, Stan Szpakowicz, Ke...
DIS
2008
Springer
15 years 6 months ago
String Kernels Based on Variable-Length-Don't-Care Patterns
Abstract. We propose a new string kernel based on variable-lengthdon't-care patterns (VLDC patterns). A VLDC pattern is an element of ({}) , where is an alphabet and is the ...
Kazuyuki Narisawa, Hideo Bannai, Kohei Hatano, Shu...