12399 search results - page 2169 / 2480 » Deformable structural models |
139
click to vote
ISQED
2009
IEEE
16 years 29 days ago
2009
IEEE
An outstanding challenge for realizing nanoelectronic systems is nano-interface design, i.e., how to precisely access a nanoscale wire in an array for communication between a nano...
175
Voted
SAC
2009
ACM
16 years 29 days ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
147
click to vote
BIRTHDAY
2009
Springer
16 years 28 days ago
2009
Springer
We study Nonassociative Lambek Calculus with additives ∧, ∨, satisfying the distributive law (Distributive Full Nonassociative Lambek Calculus DFNL). We prove that categorial g...
153
Voted
CAV
2009
Springer
16 years 28 days ago
2009
Springer
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
155
Voted
FOSSACS
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...