320 search results - page 63 / 64 » Automating Model Transformations in Agent-Oriented Modelling |
SMA
2005
ACM
14 years 2 months ago
2005
ACM
Numerous simplification methods have been proposed for speeding up engineering analysis/ simulation. A recently proposed medial axis reduction is one such method, that is particul...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
ECSQARU
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
AINA
2010
IEEE
14 years 26 days ago
2010
IEEE
One of the major premises of P2P systems is to enable fully decentralized collaborative functionalities for supporting work teams and P2P communities. Within collaborative systems,...
PR
2007
13 years 8 months ago
2007
In this paper, we present a real-time image processing technique for the detection of steam in video images. The assumption made is that the presence of steam acts as a blurring p...