736 search results - page 74 / 148 » Moving Specification Structures Between Logical Systems |
125
click to vote
RSP
1998
IEEE
15 years 2 months ago
1998
IEEE
STEP is an ISO standard (ISO-10303) for the computerinterpretable representation and exchange of product data. Parts of STEP standardize conceptual structures and usage ofinformat...
GROUP
2009
ACM
15 years 4 months ago
2009
ACM
This paper describes research focused on understanding the role of incomplete structural information about online collective action systems in participation decisions. Specificall...
158
click to vote
LCC
1994
15 years 1 months ago
1994
The descriptive complexity of a problem is the complexity of describing the problem in some logical formalism. One of the few techniques for proving separation results in descripti...
ICCAD
1994
IEEE
15 years 1 months ago
1994
IEEE
We propose a technology mapping algorithm that takes existing structural technology-mapping algorithms based on dynamic programming [1,3,4] and extends them to retime pipelined cir...
JTAER
2010
14 years 4 months ago
2010
Current electronic commerce recommendation system is designed for single electronic commerce website and current recommendation technologies have obvious deficiencies Centralized ...