3885 search results - page 705 / 777 » Transformations for Write-All-with-Collision Model |
SAC
2008
ACM
13 years 8 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
IBERAMIA
2010
Springer
13 years 7 months ago
2010
Springer
Several methods have been developed for face detection with certain success, however these tend to fail under difficult conditions such as partial occlusions and changes in orienta...
IJON
2008
13 years 7 months ago
2008
This article depicts the approach used to build the Topos application, a simulation of two-wheel robots able to discern real complex sounds. Topos is framed in the nouvelle concep...
JOT
2010
13 years 7 months ago
2010
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...
JUCS
2010
13 years 7 months ago
2010
Abstract: Qualitative Spatial Reasoning can be greatly improved if metric information can be represented and reasoning can be performed on it; moreover, modelling vagueness and unc...