Sciweavers

4978 search results - page 70 / 996
» Logical models of argument
Sort
View
WSC
2008
14 years 9 days 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...
ACL
1998
13 years 11 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
DOLAP
2005
ACM
13 years 12 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
LPAR
2005
Springer
14 years 3 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
PATMOS
2004
Springer
14 years 3 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...