Sciweavers

4978 search results - page 70 / 996
» Logical models of argument
Sort
View
125
Voted
WSC
2008
15 years 5 months ago
Distributed simulation in industry - a survey Part 3 - the HLA standard in industry
Distributed simulation, more specifically the HLA standard, is hardly applied in industry. We have conducted an extensive survey with COTS (commercial off-the-shelf) simulation pa...
Csaba Attila Boer, Arie de Bruin, Alexander Verbra...
112
Voted
ACL
1998
15 years 4 months ago
Detecting Verbal Participation in Diathesis Alternations
We present a method for automatically identifying verbal participation in diathesis alternations. Automatically acquired subcategorization frames are compared to a hand-crafted cl...
Diana McCarthy, Anna Korhonen
150
Voted
DOLAP
2005
ACM
15 years 5 months ago
Mapping conceptual to logical models for ETL processes
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into...
Alkis Simitsis
118
Voted
LPAR
2005
Springer
15 years 9 months ago
The Four Sons of Penrose
Abstract. We distill Penrose’s argument against the “artificial intelligence premiss”, and analyze its logical alternatives. We then clarify the different positions one can...
Nachum Dershowitz
94
Voted
PATMOS
2004
Springer
15 years 8 months ago
Investigation of Low-Power Low-Voltage Circuit Techniques for a Hybrid Full-Adder Cell
A full-adder implemented by combining branch-based logic and pass-gate logic is presented in this contribution. A comparison between this proposed full-adder (named BBL PT) and its...
Ilham Hassoune, Amaury Nève, Jean-Didier Le...