9067 search results - page 1488 / 1814 » Adaptive Model Checking |
210
click to vote
ESOP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
172
click to vote
CIKM
1995
Springer
15 years 10 months ago
1995
Springer
As the amount of available electronic information is dramatically increasing, the ability for rapid and e ective access to information has become critical. Most traditional inform...
164
click to vote
SIGGRAPH
1991
ACM
15 years 10 months ago
1991
ACM
We present a method fortexturesynthesisbased on thesimulation of a process of local nonlinear interaction, called reaction-diffusion, which has been proposed as a model of biologi...
194
click to vote
DRR
2010
15 years 9 months ago
2010
We describe a technique of linguistic post-processing of whole-book recognition results. Whole-book recognition is a technique that improves recognition of book images using fully...
186
click to vote
AAAI
2007
15 years 9 months ago
2007
The mobile Internet is a massive opportunity for mobile operators and content providers, but despite significant improvements in handsets, infrastructure, content, and charging m...