7393 search results - page 533 / 1479 » Synthesis-for-testability using transformations |
218
click to vote
PODS
1991
ACM
15 years 10 months ago
1991
ACM
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...
199
click to vote
SCA
2007
15 years 9 months ago
2007
We present a new approach to character skinning where divergence-free vector fields induced by skeletal motion, describe the velocity of skin deformation. The joint transformation...
181
click to vote
ACAL
2007
Springer
15 years 9 months ago
2007
Springer
This paper addresses the topic of how architectural visual experience can be represented and utilised by a software system. The long-term aim is to equip an artificial agent with ...
204
click to vote
IIWAS
2008
15 years 8 months ago
2008
Based on top of Web protocols and XML language, Web services are emerging as a framework to provide applicationto-application interaction. An important challenge is their integrat...
201
click to vote
ACSW
2004
15 years 8 months ago
2004
In recent years XML has became very popular for representing semistructured data and a standard for data exchange over the web. Mining XML data from the web is becoming increasing...