3481 search results - page 682 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
165
click to vote
ERSHOV
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
168
click to vote
ISCA
2007
IEEE
16 years 4 days ago
2007
IEEE
The negative performance impact of branch mis-predictions can be reduced by exploiting control independence (CI). When a branch mis-predicts, the wrong-path instructions up to the...
172
click to vote
TPHOL
2007
IEEE
16 years 3 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
156
click to vote
CCS
2007
ACM
16 years 1 days ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
168
click to vote
CIKM
2007
Springer
16 years 23 hour ago
2007
Springer
We present an evolutionary clustering method which can be applied to multi-relational knowledge bases storing resource annotations expressed in the standard languages for the Sema...