2586 search results - page 195 / 518 » Automatic Abstraction for Congruences |
155
click to vote
ICSOC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Dynamo advocates that pre-deployment validation and testing are intrinsically inadequate for tackling the ephemeral and rapidly changing context in which service oriented...
145
click to vote
IJCNLP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper analyzes the results of automatic concept alignment between two ontologies. We use an iterative algorithm to perform concept alignment. The algorithm uses the ...
123
click to vote
ISVC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present a new model for artistic portrait caricature modeling and rendering. It is composed of a caricature model and a rendering system. The computer portrait caricat...
154
click to vote
LPAR
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
160
click to vote
OTM
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Learning Object Metadata (LOM) is an interoperable standard focused on enabling the reuse of learning material for authoring lessons. Nevertheless, few work was done on t...