1802 search results - page 95 / 361 » Model-based Theory Combination |
ESAW
2006
Springer
14 years 27 days ago
2006
Springer
The rational agent community uses Michael Bratman's planning theory of intention as its theoretical foundation for the development of its agentoriented BDI languages. We prese...
FM
1997
Springer
14 years 1 months ago
1997
Springer
We describe a meta-method for formal method integration Pai97 . The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory ...
SCALESPACE
2009
Springer
14 years 3 months ago
2009
Springer
In this paper, a generative model based method for recovering both the shape and the reflectance of the surface(s) of a scene from multiple images is presented, assuming that illu...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper highlights the interest of a language model in increasing the performances of on-line handwriting recognition systems. Models based on statistical approaches, trained o...
APVIS
2009
13 years 10 months ago
2009
The spring-electrical model based force directed algorithm is widely used for drawing undirected graphs, and sophisticated implementations can be very efficient for visualizing la...