Sciweavers

3379 search results - page 517 / 676
» Powers of Two
Sort
View
IJON
2007
130views more  IJON 2007»
13 years 8 months ago
A model of Frame and Verb Compliance in language acquisition
Researchers studying word learning have discovered that the syntactic frame in which a word appears plays an important role in the interpretation of the word, and this importance ...
Rutvik Desai
APAL
2005
125views more  APAL 2005»
13 years 8 months ago
Dynamic topological logic
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...
Philip Kremer, Grigori Mints
TCAD
2008
118views more  TCAD 2008»
13 years 8 months ago
Variability-Aware Bulk-MOS Device Design
As CMOS technology is scaled down toward the nanoscale regime, drastically growing leakage currents and variations in device characteristics are becoming two important design chall...
Javid Jaffari, Mohab Anis
TCS
2008
13 years 8 months ago
A timed semantics of Orc
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
Ian Wehrman, David Kitchin, William R. Cook, Jayad...
JCC
2007
71views more  JCC 2007»
13 years 8 months ago
A survey of recent developments in ab initio valence bond theory
Abstract: Starting from the 1980s and onwards, Valence Bond theory has been enjoying renaissance that is characterized by the development of a growing number of ab initio methods, ...
Philippe C. Hiberty, Sason Shaik