1368 search results - page 75 / 274 » Personality-Based Practical Reasoning |
150
click to vote
EDBT
2012
ACM
13 years 5 months ago
2012
ACM
Query optimization in RDF Stores is a challenging problem as SPARQL queries typically contain many more joins than equivalent relational plans, and hence lead to a large join orde...
106
click to vote
VTC
2008
IEEE
15 years 9 months ago
2008
IEEE
—Interest in selection relaying is growing. The recent developments in this area have largely focused on information theoretic analyses such as outage performance. Some of these ...
125
click to vote
CAV
2006
Springer
15 years 6 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
129
click to vote
ICDM
2010
IEEE
15 years 25 days ago
2010
IEEE
Abstract--Randomization is a general technique for evaluating the significance of data analysis results. In randomizationbased significance testing, a result is considered to be in...
107
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Abstract. Inductive definitions and rule inductions are two fundamental reasoning tools in logic and computer science. When inductive definitions involve binders, then Barendregt&#...