Sciweavers

3022 search results - page 58 / 605
» Make Way for WayMaker
Sort
View
91
Voted
ICCV
2005
IEEE
16 years 2 months ago
Parameter-Free Radial Distortion Correction with Centre of Distortion Estimation
We propose a method of simultaneously calibrating the radialdistortionfunctionofacameraalongwith theotherinternal calibration parameters. The method relies on the use of a planar ...
Richard I. Hartley, Sing Bing Kang
92
Voted
CHI
2009
ACM
16 years 1 months ago
Why and why not explanations improve the intelligibility of context-aware intelligent systems
Context-aware intelligent systems employ implicit inputs, and make decisions based on complex rules and machine learning models that are rarely clear to users. Such lack of system...
Brian Y. Lim, Anind K. Dey, Daniel Avrahami
81
Voted
CHI
2005
ACM
16 years 29 days ago
Design and evaluation challenges of serious games
As the computer game industry grows, game capabilities and designs are being re-used for purposes other than entertainment. The study of 'Serious Games', i.e. games for ...
Elaine M. Raybourn, Nathan Bos
103
Voted
RECOMB
2007
Springer
16 years 27 days ago
Support Vector Training of Protein Alignment Models
Abstract. Sequence to structure alignment is an important step in homology modeling of protein structures. Incorporation of features like secondary structure, solvent accessibility...
Chun-Nam John Yu, Thorsten Joachims, Ron Elber, Ja...
106
Voted
CADE
2006
Springer
16 years 27 days ago
Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
Robert L. Constable, Wojciech Moczydlowski