Sciweavers

8337 search results - page 1545 / 1668
» Reasoning With Characteristic Models
Sort
View
CIKM
2011
Springer
14 years 4 months ago
Personalizing web search results by reading level
Traditionally, search engines have ignored the reading difficulty of documents and the reading proficiency of users in computing a document ranking. This is one reason why Web se...
Kevyn Collins-Thompson, Paul N. Bennett, Ryen W. W...
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
14 years 1 days ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
CVPR
2004
IEEE
16 years 6 months ago
The World in an Eye
This paper provides a comprehensive analysis of exactly what visual information about the world is embedded within a single image of an eye. It turns out that the cornea of an eye...
Ko Nishino, Shree K. Nayar
ICDE
2004
IEEE
100views Database» more  ICDE 2004»
16 years 5 months ago
Scalable Multimedia Disk Scheduling
A new multimedia disk scheduling algorithm, termed Cascaded-SFC, is presented. The Cascaded-SFC multimedia disk scheduler is applicable in environments where multimedia data reque...
Mohamed F. Mokbel, Walid G. Aref, Khaled M. Elbass...
VIS
2008
IEEE
162views Visualization» more  VIS 2008»
16 years 5 months ago
Geodesic Distance-weighted Shape Vector Image Diffusion
Abstract--This paper presents a novel and efficient surface matching and visualization framework through the geodesic distanceweighted shape vector image diffusion. Based on confor...
Jing Hua, Zhaoqiang Lai, Ming Dong, Xianfeng Gu...
« Prev « First page 1545 / 1668 Last » Next »