Sciweavers

661 search results - page 23 / 133
» A Logic of Capabilities
Sort
View
FDL
2008
IEEE
15 years 10 months ago
VHDL-AMS Implementation of a Numerical Ballistic CNT Model for Logic Circuit Simulation
—This paper introduces a novel numerical carbon nanotube transistor (CNT) modelling approach which brings in a flexible and efficient cubic spline non-linear approximation of t...
Dafeng Zhou, Tom J. Kazmierski, Bashir M. Al-Hashi...
LICS
2008
IEEE
15 years 10 months ago
A Logical Characterization of Individual-Based Models
Individual-based models are a relatively new approach to modelling dynamical systems of interacting entities, for example molecules in a biological cell. Although they are computa...
James F. Lynch
NMR
2004
Springer
15 years 9 months ago
A first approach to argument-based recommender systems based on defeasible logic programming
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
Carlos Iván Chesñevar, Ana Gabriela ...
FPGA
1995
ACM
116views FPGA» more  FPGA 1995»
15 years 7 months ago
Logic Partition Orderings for Multi-FPGA Systems
One of the critical issues for multi-FPGA systems is developing software tools for automatically mapping circuits. In this paper we consider one step in this process, partitioning...
Scott Hauck, Gaetano Borriello
COLING
1990
15 years 5 months ago
A Logic-Based Government-Binding Parser for Mandarin Chinese
Mandarin Chinese is a highly flexible and context-sensitive language. It is difficult to do the case marking and index assignment during the parsing of Chinese sentences. This pap...
Hsin-Hsi Chen