4212 search results - page 748 / 843 » Rights Expression Languages |
159
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
176
click to vote
CA
2002
IEEE
15 years 11 months ago
2002
IEEE
The last few years have seen great maturation in understanding how to use computer graphics technology to portray 3D embodied characters or virtual humans. Unlike the off-line, an...
146
click to vote
ICEIS
2002
IEEE
15 years 11 months ago
2002
IEEE
: Frameworks can be seen as generative since they are intended and well suited to be used as the foundation for the development of a number of applications in the domain captured b...
160
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Modeling for synthesis and modeling for simulation seem to be two competing goals in the context of C++-based modeling frameworks. One of the reasons is while most hardware system...
173
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question f...