Sciweavers

3250 search results - page 578 / 650
» Parameterized Learning Complexity
Sort
View
BMVC
2010
15 years 1 months ago
Local Gaussian Processes for Pose Recognition from Noisy Inputs
Gaussian processes have been widely used as a method for inferring the pose of articulated bodies directly from image data. While able to model complex non-linear functions, they ...
Martin Fergie, Aphrodite Galata
CIKM
2010
Springer
15 years 1 months ago
Wisdom of the ages: toward delivering the children's web with the link-based agerank algorithm
Though children frequently use web search engines to learn, interact, and be entertained, modern web search engines are poorly suited to children's needs, requiring relativel...
Karl Gyllstrom, Marie-Francine Moens
CIKM
2010
Springer
15 years 1 months ago
From exploratory search to web search and back
The power of search is with no doubt one of the main aspects for the success of the Web. Currently available search engines on the Web allow to return results with a high precisio...
Roberto Mirizzi, Tommaso Di Noia
CODES
2010
IEEE
15 years 1 months ago
Improving platform-based system synthesis by satisfiability modulo theories solving
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
Felix Reimann, Michael Glaß, Christian Haube...
FMAM
2010
223views Formal Methods» more  FMAM 2010»
15 years 1 months ago
Agile Formality: A Mole of Software Engineering Practices
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
Vieri del Bianco, Dragan Stosic, Joseph R. Kiniry