1389 search results - page 52 / 278 » Definability as hypercomputational effect |
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
Block-matching motion estimation plays an important role in video coding and faster, more robust and more effective search algorithms are needed. Recently, a great number of fast ...
TPHOL
1994
IEEE
14 years 24 days ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
APSEC
2004
IEEE
14 years 13 days ago
2004
IEEE
Product line engineering (PLE) is one of the recent and effective reuse approaches, and it consists of two processes; framework engineering and application engineering. Framework ...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Reinforcement Learning research is traditionally devoted to solve single-task problems. Therefore, anytime a new task is faced, learning must be restarted from scratch. Recently, ...
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
We believe that the possibility to use SPARQL as a front end to heterogeneous data without significant cost in performance or expressive power is key to RDF taking its rightful pla...