6581 search results - page 345 / 1317 » Formalizing Design Patterns |
138
click to vote
UM
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
139
click to vote
PLDI
2000
ACM
15 years 9 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
124
click to vote
CIARP
2006
Springer
15 years 8 months ago
2006
Springer
Linear dimensionality reduction (LDR) is quite important in pattern recognition due to its efficiency and low computational complexity. In this paper, we extend the two-class Chern...
127
click to vote
NIPS
2004
15 years 6 months ago
2004
We propose a probabilistic, generative account of configural learning phenomena in classical conditioning. Configural learning experiments probe how animals discriminate and gener...
100
click to vote
ACL
1998
15 years 6 months ago
1998
This paper examines the phenomenon of consonant spreading in Arabic stems. Each spreading involves a local surface copying of an underlying consonant, and, in certain phonological...