3799 search results - page 680 / 760 » An Engineering Approach to Formal Methods |
138
click to vote
AIRWEB
2007
Springer
15 years 8 months ago
2007
Springer
The early success of link-based ranking algorithms was predicated on the assumption that links imply merit of the target pages. However, today many links exist for purposes other ...
153
click to vote
CASES
2006
ACM
15 years 8 months ago
2006
ACM
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...
120
Voted
JCDL
2010
ACM
15 years 6 months ago
2010
ACM
We present a new algorithm to measure domain-specific readability. It iteratively computes the readability of domainspecific resources based on the difficulty of domain-specific c...
154
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Many real-world applications of AI require both probability and first-order logic to deal with uncertainty and structural complexity. Logical AI has focused mainly on handling com...
150
click to vote
ER
2008
Springer
15 years 6 months ago
2008
Springer
The existing approaches of keyword search over relational databases always identify the relationships between tuples on the fly, which are rather inefficient as such relational rel...