381 search results - page 65 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
109
click to vote
MJ
2007
14 years 11 months ago
2007
With increasingly smaller feature sizes and higher on-chip densities, the power dissipation of VLSI systems has become a primary concern for designers. This paper first describes...
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Searle represents constitutive norms as count-as conditionals, written as `X counts as Y in context C'. Grossi et al. study a class of these conditionals as `in cont...
113
click to vote
KES
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This work proposes a family of language-independent semantic kernel functions defined for individuals in an ontology. This allows exploiting wellfounded kernel methods fo...
101
click to vote
SIGSOFT
2006
ACM
16 years 13 days ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
102
click to vote
ICSE
2008
IEEE-ACM
16 years 15 days ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...