3562 search results - page 696 / 713 » Introduction to Logic Programming |
187
Voted
DIS
2009
Springer
16 years 28 days ago
2009
Springer
We analyze the dynamics of problem-solving in a framework which captures two key features of that activity. The first feature is that problem-solving is a social game where a numb...
174
Voted
ERSHOV
2009
Springer
16 years 28 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...
181
Voted
ISCA
2007
IEEE
16 years 20 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...
184
Voted
TPHOL
2007
IEEE
16 years 19 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 ...
162
Voted
CCS
2007
ACM
16 years 17 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...