647 search results - page 25 / 130 » An Approach to Relate Viewpoints and Modeling Languages |
178
Voted
LOGCOM
2010
14 years 10 months ago
2010
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
271
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
125
click to vote
INFSOF
2006
15 years 3 months ago
2006
The parametric data model captures an object in terms of a single tuple. This feature eliminates unnecessary self-join operations to combine tuples scattered in a temporal relatio...
135
Voted
ANSS
2006
IEEE
15 years 10 months ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
150
click to vote
CG
1998
Springer
15 years 3 months ago
1998
Springer
We are investigating techniques for providing smooth transitions when simplifying large, static geometric models with texture-based representations (or impostors). Traditionally, ...