509 search results - page 37 / 102 » A Model-Driven Based Environment for Automatic Model Coordin... |
DAGSTUHL
2009
13 years 12 months ago
2009
Modelling architectural information is particularly important because of the acknowledged crucial role of software architecture in raising the level of abstraction during developme...
CGF
2000
13 years 10 months ago
2000
When articulated figures interact in a 3D environment, collisions are highly likely and must often be avoided. We present a method automatically producing realistic collision-free...
AISADM
2005
Springer
14 years 4 months ago
2005
Springer
Meta-learning system for KDD is an open and evolving platform for efficient testing and intelligent recommendation of data mining process. Metalearning is adopted to automate the s...
CHARME
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
SPIEVIP
2010
14 years 1 months ago
2010
In video surveillance, automatic methods for scene understanding and activity modeling can exploit the high redundancy of object trajectories observed over a long period of time. ...