3053 search results - page 141 / 611 » Structured Objects: Modeling and Reasoning |
148
Voted
DM
2011
14 years 7 months ago
2011
A relational first order structure is homogeneous if it is countable (possibly finite) and every isomorphism between finite substructures extends to an automorphism. This artic...
129
Voted
ENTCS
2007
15 years 3 months ago
2007
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support pr...
135
Voted
AEI
2002
15 years 3 months ago
2002
Functionality of artifacts as well as structure and behavior plays crucial roles in problem-solving such as design. This article discusses automatic identifications of functional s...
103
Voted
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
The paper applies an economic model of a competitive market for retail banking services to generate insights into the following relevant questions. Is the cost structure of electr...
78
Voted
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
— We present an ant-based algorithm for spatially sorting objects into an annular structure. The model is minimal, as it requires only stochastic ant behaviour coupled with a phe...