3388 search results - page 144 / 678 » Type-theoretic design patterns |
160
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Patterns are useful knowledge about recurring problems and solutions. Detecting a security problem using patterns in requirements models may lead to its early solution. In order t...
180
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Searching data streams has been traditionally very limited, either in the complexity of the search or in the size of the searched dataset. In this paper, we investigate the design...
150
Voted
COLING
2008
15 years 7 months ago
2008
This paper proposes an other-anaphora resolution approach in bio-medical texts. It utilizes automatically mined patterns to discover the semantic relation between an anaphor and a...
174
click to vote
DMIN
2006
15 years 7 months ago
2006
We discovered that the set of frequent hybrid sequential patterns obtained by previous researches is incomplete, due to the inapplicability of the Apriori principle. We design and ...
178
click to vote
ENTCS
2006
15 years 6 months ago
2006
The current paper makes two contributions for the graph pattern matching problem of model transformation tools. First, model-sensitive search plan generation is proposed for patte...