Sciweavers

5615 search results - page 193 / 1123
» On the Computational Capabilities of Several Models
Sort
View

Publication
344views
17 years 4 months ago
Many of My Academic Papers, My 4000 Favorite Books List
Already published academic papers: Creativity 60 Models, 64 Capabilities of Highly Educated Persons, 96 Skills of Highly Effective People, 116 Variables Fostering Team High Perform...
Richard Tabor Greene
FCCM
2003
IEEE
168views VLSI» more  FCCM 2003»
16 years 12 days ago
A Second Generation Embedded Reconfigurable Input Device for Kinetically Challenged Persons
A second generation of an embedded input device for kinetically challenged persons is presented. The new system can detect O(n2 ) free motions in space with O(n) hardware, and has...
Kyprianos Papademetriou, Apostolos Dollas, Stamati...
CAV
2010
Springer
207views Hardware» more  CAV 2010»
15 years 11 months ago
Petruchio: From Dynamic Networks to Nets
We introduce Petruchio, a tool for computing Petri net translations of dynamic networks. To cater for unbounded architectures beyond the capabilities of existing implementations, t...
Roland Meyer, Tim Strazny
AAAI
2010
15 years 8 months ago
Past and Future of DL-Lite
We design minimal temporal description logics that are capable of expressing various aspects of temporal conceptual data models and investigate their computational complexity. We ...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
BMCBI
2010
227views more  BMCBI 2010»
15 years 7 months ago
Accurate and efficient gp120 V3 loop structure based models for the determination of HIV-1 co-receptor usage
Background: HIV-1 targets human cells expressing both the CD4 receptor, which binds the viral envelope glycoprotein gp120, as well as either the CCR5 (R5) or CXCR4 (X4) co-recepto...
Majid Masso, Iosif I. Vaisman