1341 search results - page 5 / 269 » Logic for Modeling Product Structure |
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtF...
ICSM
1998
IEEE
14 years 8 days ago
1998
IEEE
Code-based metrics such as coupling and cohesion are used to measure a system's structural complexity. But dealing with large systems--those consisting of several millions of...
LICS
2000
IEEE
14 years 12 days ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
IGPL
2010
13 years 6 months ago
2010
Researchers studying complex cognition have grown increasingly interested in mapping symbolic cognitive architectures onto subsymbolic brain models. Such a mapping seems essential...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
In this research, we use a game-theoretic model to examine personalization of information in a twodimensional product differentiation model, when consumers attach importance to ...