Sciweavers

6939 search results - page 1205 / 1388
» Algorithm Engineering for Parallel Computation
Sort
View
187
Voted
ECEASST
2010
15 years 25 days ago
GUI Inspection from Source Code Analysis
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
João Carlos Silva 0002, José Creissa...
ACSC
2010
IEEE
14 years 10 months ago
Measuring visual consistency in 3d rendering systems
One of the major challenges facing a present day game development company is the removal of bugs from such complex virtual environments. This work presents an approach for measuri...
Alfredo Nantes, Ross Brown, Frédéric...
164
Voted
SIAMSC
2011
148views more  SIAMSC 2011»
14 years 10 months ago
Bootstrap AMG
We develop an algebraic multigrid (AMG) setup scheme based on the bootstrap framework for multiscale scientific computation. Our approach uses a weighted least squares definition...
Achi Brandt, James J. Brannick, K. Kahl, Irene Liv...
MM
2006
ACM
189views Multimedia» more  MM 2006»
15 years 9 months ago
Real-time computerized annotation of pictures
Automated annotation of digital pictures has been a highly challenging problem for computer scientists since the invention of computers. The capability of annotating pictures by c...
Jia Li, James Ze Wang
168
Voted
WLP
2007
Springer
15 years 9 months ago
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
Martin Gebser, Jörg Pührer, Torsten Scha...
« Prev « First page 1205 / 1388 Last » Next »