645 search results - page 93 / 129 » Pure patterns type systems |
184
click to vote
WRLA
2010
15 years 9 days ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
136
click to vote
CVPR
2000
IEEE
16 years 4 months ago
2000
IEEE
Classifying an unknown input is a fundamental problem in Pattern Recognition. One standard method is finding its nearest neighbors in a reference set. It would be very time consum...
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
136
click to vote
IJCNLP
2005
Springer
15 years 7 months ago
2005
Springer
This paper proposes a chunking strategy to detect unknown words in Chinese word segmentation. First, a raw sentence is pre-segmented into a sequence of word atoms 1 using a maximum...
105
click to vote
VLDB
1993
ACM
15 years 6 months ago
1993
ACM
Although scientific data analysis increasingly requires accessandmanipulation of large quantitiesof data,current databasetechnology fails to meet the needsof scientific processing...