451 search results - page 42 / 91 » Algorithmic Analysis of Production Systems Used as Agent-Bas... |
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industria...
AB
2007
Springer
14 years 2 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper applies the modified Fisher Information Matrix (FIM) motion algorithm previously proposed by the authors to the task of locating a circular biochemical source. We d...
ISPASS
2010
IEEE
14 years 3 months ago
2010
IEEE
—Software instrumentation is a powerful and flexible technique for analyzing the dynamic behavior of programs. By inserting extra code in an application, it is possible to study...
VRML
2003
ACM
14 years 1 months ago
2003
ACM
One of the major challenges in Computer Graphics concerns the 3D representation and physically-based simulation of garments. In our research, we are working closely with the texti...