2765 search results - page 347 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
178
click to vote
RC
2002
15 years 6 months ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
173
click to vote
GECCO
2007
Springer
16 years 24 days ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
182
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
Videotext recognition is challenging due to low resolution, diverse fonts/styles, and cluttered background. Past methods enhanced recognition by using multiple frame averaging, im...
188
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
172
click to vote
SAC
2003
ACM
15 years 12 months ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...