3082 search results - page 79 / 617 » its 2004 |
FMCAD
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
IEAAIE
2004
Springer
14 years 2 months ago
2004
Springer
This work presents the application of a first-order logic incremental learning system, INTHELEX, to learn rules for the automatic identification of a wide range of significant docu...
IWCM
2004
Springer
14 years 2 months ago
2004
Springer
Under certain assumptions, a moving camera can be self-calibrated solely on the basis of instantaneous optical flow. However, due to a fundamental indeterminacy of scale, instanta...
PPSN
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, we aim to design decision-making mechanisms for an autonomous robot equipped with simple sensors, which integrates over time its perceptual experience in order to in...
JCO
2007
13 years 8 months ago
2007
The 2-interval pattern problem over its various models and restrictions was proposed by Vialette (2004) for the application of RNA secondary structure prediction. We present an O(n...