1341 search results - page 42 / 269 » Logic for Modeling Product Structure |
SPLC
2010
13 years 9 months ago
2010
Groupware are computer-based systems designed to support groups of people working together providing a shared environment. Given that developing this kind of application is not a t...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
Compressive sensing (CS) is an emerging approach for acquisition of signals having a sparse or compressible representation in some basis. While CS literature has mostly focused on...
DAC
1992
ACM
14 years 6 days ago
1992
ACM
This paper describes a model for, and an implementation of, production-based synthesis of hardware description language (HDL) code in which the overall structure of the resultant ...
FPL
2008
Springer
13 years 9 months ago
2008
Springer
: Modeling the interactions of biological molecules, or docking is critical to both understanding basic life processes and to designing new drugs. Here we describe the FPGA-based a...
BIRTHDAY
1997
Springer
14 years 8 days ago
1997
Springer
Abstract. Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved b...