3799 search results - page 599 / 760 » An Engineering Approach to Formal Methods |
138
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
Particle compound material is the composition of different particles with inhomogeneous and non-uniform properties. Particle compound material is the most complicated engineering m...
141
click to vote
EVOW
2010
Springer
15 years 9 months ago
2010
Springer
A challenging problem in bioinformatics is the detection of residues that account for protein function specificity, not only in order to gain deeper insight in the nature of functi...
216
click to vote
CIKM
2005
Springer
15 years 8 months ago
2005
Springer
Inverted index structures are the mainstay of modern text retrieval systems. They can be constructed quickly using off-line mergebased methods, and provide efficient support for ...
161
click to vote
EMNLP
2007
15 years 7 months ago
2007
Traditional research on spelling correction in natural language processing and information retrieval literature mostly relies on pre-defined lexicons to detect spelling errors. Bu...
156
click to vote
KYOTODL
2000
15 years 7 months ago
2000
The web is more and more used as a platform for fullfledged, increasingly complex applications, where a huge amount of change-intensive data is managed by underlying database syst...