1255 search results - page 172 / 251 » Model-Driven Development of Model Transformations |
CADE
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
IBPRIA
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. This paper is a review of works about the use of the logpolar image model for pattern recognition purposes. Particular attention is paid to the rotation- and scale-invari...
ICEIS
1999
IEEE
14 years 3 months ago
1999
IEEE
: This paper provides a review of groupware technology and products. The purpose of this review is to investigate the appropriateness of current groupware technology as the basis f...
VLDB
1989
ACM
14 years 3 months ago
1989
ACM
The derived data update problem involves the transformation of modifications of derived facts into corresponding changes to base facts and other derived facts. Using a database sc...
DAGSTUHL
2003
14 years 16 days ago
2003
We have studied modular self-reconfigurable robots that are capable of changing their overall shape and functionality by automatic recombination of homogenous robotic modules. Our ...