3630 search results - page 308 / 726 » How to Compare Treebanks |
160
Voted
PVLDB
2008
15 years 7 months ago
2008
Recently, a number of papers have been published showing the benefits of column stores over row stores. However, the research comparing the two in an "apples-to-apples" ...
177
click to vote
RTS
2008
15 years 7 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
209
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
200
Voted
IVA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. How does a virtual agent’s gesturing behavior influence the user’s perception of communication quality and the agent’s personality? This question was investigated ...
201
Voted
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...