1205 search results - page 136 / 241 » Program Extraction from Large Proof Developments |
89
Voted
CAISE
2007
Springer
15 years 7 months ago
2007
Springer
Semantic matching1 is a fundamental step in implementing data sharing applications. Most systems automating this task however limit themselves to finding simple (one-to-one) match...
147
click to vote
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
To determine the important trends and issues in thousands of comments from customers and make strategic decisions about business operations, managers must go over these messages m...
116
click to vote
ICDE
2007
IEEE
15 years 7 months ago
2007
IEEE
—Radio Frequency Identification (RFID) is an emerging technique that can significantly enhance supply chain processes and deliver customer service improvements. RFID provides use...
BMCBI
2008
15 years 1 months ago
2008
Background: Linear motifs (LMs) are abundant short regulatory sites used for modulating the functions of many eukaryotic proteins. They play important roles in post-translational ...
140
click to vote
ACSC
2006
IEEE
15 years 7 months ago
2006
IEEE
Visual data mining has been established to effectively analyze large, complex numerical data sets. Especially, the extraction and visualization of inherent structures such as hie...